Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fer-Jan de Vries
Continuity and Discontinuity in Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Continuity and Discontinuity in Physics and Biology
Suid-Afrikaanse Tydskrif vir Natuurwetenskap en Tegnologie
Solvability in Resource Lambda-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Gödelisation in the Lambda-Calculus
BRICS Report Series
Continuity and Discontinuity in Canadian Cab History
Urban History Review/Revue d'Histoire Urbaine
Urban Studies
History
On Continuity/Discontinuity in Robustness Indicators
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Storage Operators and Directed Lambda-Calculus
Journal of Symbolic Logic
Philosophy
Logic
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
Algebras and Coalgebras in the Light Affine Lambda Calculus
