Old Web
English
Sign In
Acemap
>
Paper
>
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution
2018
Martín Copes
Nora Szasz
Alvaro Tasistro
Keywords:
Calculus
Intuitionistic type theory
Standardization
Lambda calculus
Mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
7
References
0
Citations
NaN
KQI
[]