Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by H.P. Barendregt
Needed Reduction and Spine Strategies for the Lambda Calculus
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
Lambda Calculus With Algebraic Simplification for Reduction Parallelization by Equational Reasoning
Proceedings of the ACM on Programming Languages
Strict Intersection Types for the Lambda Calculus
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Gödelisation in the Lambda-Calculus
BRICS Report Series
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Mathematics
Computer Science
Storage Operators and Directed Lambda-Calculus
Journal of Symbolic Logic
Philosophy
Logic
Continuity and Discontinuity in Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Linearization of the Lambda-Calculus and Consequences
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Solvability in Resource Lambda-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Call by Name, Assignment, and the Lambda Calculus
