Amanote Research
Register
Sign In
Algebras and Coalgebras in the Light Affine Lambda Calculus
doi 10.1145/2784731.2784759
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2015
Authors
Marco Gaboardi
Romain Péchoux
Publisher
ACM Press
Related search
Gödelisation in the Lambda-Calculus
BRICS Report Series
Continuity and Discontinuity in Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solvability in Resource Lambda-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Applications of Coalgebras to Group Algebras
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Storage Operators and Directed Lambda-Calculus
Journal of Symbolic Logic
Philosophy
Logic
A Linearization of the Lambda-Calculus and Consequences
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Call by Name, Assignment, and the Lambda Calculus
Strict Intersection Types for the Lambda Calculus
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Polyvariant Analysis of the Untyped Lambda Calculus
DAIMI Report Series