Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Romain Péchoux
Algebras and Coalgebras in the Light Affine Lambda Calculus
Resource Analysis by Sup-Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
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
