Old Web
English
Sign In
Acemap
>
Paper
>
On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity)
On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity)
2013
Ken-etsu Fujita
Keywords:
Algorithm
Proof theory
Mathematics
Curry
Calculus
Philosophy
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]