Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Simona Ronchi della Rocca
Solvability in Resource Lambda-Calculus
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
Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types
Studies in Logic and the Foundations of Mathematics
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Storage Operators and Directed Lambda-Calculus
Journal of Symbolic Logic
Philosophy
Logic
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Mathematics
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
