Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Manfred Schmidt-Schauß
A Non-Deterministic Call-By-Need Lambda Calculus
ACM SIGPLAN Notices
Correctly Translating Concurrency Primitives
Related publications
Call by Name, Assignment, and the Lambda Calculus
Towards a Semantic Measure of the Execution Time in Call-By-Value Lambda-Calculus
EasyChair Preprints
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Mathematics
Computer Science
Call-By-Need Is Clairvoyant Call-By-Value
Proceedings of the ACM on Programming Languages
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
Gödelisation in the Lambda-Calculus
BRICS Report Series
A Linearization of the Lambda-Calculus and Consequences
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
