A presentation of the Curry-Howard Correspondence (1997)
Edit Page
Report
Scan day: 05 March 2014 UTC
24
Virus safety - good
Description: Notes on the Curry-Howard correspondence by Chantal Berline.
CiteSeerX — A presentation of the Curry-Howard Correspondance. A presentation of the Curry-Howard Correspondance. (1997)     author = {Chantal Berline},     title = {A presentation of the Curry-Howard Correspondance.},
Size: 228 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | CiteSeerX — A presentation of the Curry-Howard Correspondance. |
| Keywords: | CiteSeerX, Chantal Berline |
| Description: | CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): These notes are extracted from the rst version of the paper iFrom Computation to Foundations: the -calculus and its webbed modelsj. They nearly disappeared in the revised version of that paper, and we make them available separately. 0.1 -calculus as a foundation for Programming Theory. -calculus came back to the front of the scene in the sixties with the development of Computer Science, under the impulse of Landin [21] and Backus (cf. [1]) and generated the family of functional languages (Lisp [McCarthy 1960], Haskell, Miranda, ML, Caml, ...). In functional languages functions and functionals may be passed as arguments to a program as easily as concrete datas, which is not the case with imperative languages (Fortran, Pascal, C ) (the other conceptual dioeerences between imperative programming (founded by Von Neumann) and functional programming are clearly explained e.g. in the rst pages of [1]). See barendregt's survey [2]: The other main conceptual contribution of -calculus to P... |
| IP-address: | 130.203.136.95 |
WHOIS Info
| NS | Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6 |
| WHOIS | |
| Date | activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |