Old Web
English
Sign In
Acemap
>
Paper
>
Contexts in Lambda Calculus
Contexts in Lambda Calculus
2002
M. Bognár
Keywords:
Discrete mathematics
Curry–Howard correspondence
Binary lambda calculus
System F
Simply typed lambda calculus
Lambda calculus
Typed lambda calculus
Church encoding
Mathematics
Calculus of constructions
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
17
Citations
NaN
KQI
[]