Old Web
English
Sign In
Acemap
>
Paper
>
An interpretation of -calculus in -calculus
An interpretation of -calculus in -calculus
2002
Ken-etsu Fujita
Keywords:
Mathematics
Semantics of logic
Calculus
Fixed point
Correction
Cite
Save
Machine Reading By IdeaReader
19
References
2
Citations
NaN
KQI
[]