Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mayer Goldberg
Gödelisation in the Lambda-Calculus
BRICS Report Series
Related publications
Solvability in Resource Lambda-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuity and Discontinuity in Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Computability via the Lambda Calculus With Patterns
Journal of Mathematics Research
Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types
Studies in Logic and the Foundations of Mathematics
On the Definition of Lambda-Calculus Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Algebras and Coalgebras in the Light Affine Lambda Calculus
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
