Old Web
English
Sign In
Acemap
>
Paper
>
The New Calculus
The New Calculus
1993
Christopher J. Bowie
Fred L. Frostic
Kevin N. Lewis
John Lund
David Ochmanek
Philip Propper
Keywords:
Calculus
Natural deduction
Process calculus
Mathematics
Calculus of constructions
Typed lambda calculus
Philosophy
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
5
Citations
NaN
KQI
[]