Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pimpen Vejjajiva
Computability via the Lambda Calculus With Patterns
Journal of Mathematics Research
Related publications
Gödelisation in the Lambda-Calculus
BRICS Report Series
Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types
Studies in Logic and the Foundations of Mathematics
Solvability in Resource 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
On the Definition of Lambda-Calculus Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Lambda Calculus for Quantum Computation With Classical Control
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
A Lambda Calculus of Objects With Self-Inflicted Extension
ACM SIGPLAN Notices
