Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francesco Gavazzo
Effectful Applicative Similarity for Call-By-Name Lambda Calculi
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Related publications
Call by Name, Assignment, and the Lambda Calculus
Call-By-Value Is Dual to Call-By-Name – Reloaded
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Non-Deterministic Call-By-Need Lambda Calculus
ACM SIGPLAN Notices
A General Storage Theorem for Integers in Call-By-Name Λ-Calculus
Theoretical Computer Science
Computer Science
Theoretical Computer Science
What's in a Name? That Which We Call a Rose by Any Other Name Would Smell as Sweet
Journal of Thoracic and Cardiovascular Surgery
Respiratory Medicine
Pulmonary
Cardiovascular Medicine
Surgery
Cardiology
Towards a Semantic Measure of the Execution Time in Call-By-Value Lambda-Calculus
EasyChair Preprints
Selective Applicative Functors
Proceedings of the ACM on Programming Languages
Applicative Abstract Categorial Grammar
Applicative Bisimulations for Delimited-Control Operators
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
