Lectures on the Curry-Howard isomorphism /

Lectures on the Curry-Howard isomorphism /

Show other versions (6)

Bibliographic Details
Main Author:	Sørensen, Morten Heine
Other Authors:	Urzyczyn, Paweł
Format:	Book
Language:	English
Published:	Amsterdam ; Boston [MA] : Elsevier, 2006 Amsterdam ; Boston [Mass.] : 2006 Amsterdam ; Boston, MA : 2006 Amsterdam ; Oxford, UK : 2006 Amsterdam ; Boston : 2006
Edition:	1st ed
Series:	Studies in logic and the foundations of mathematics, v. 149 Studies in logic and the foundations of mathematics ; v. 149 Studies in logic and the foundations of mathematics v. 149 Studies in logic and the foundations of mathematics v. 149 Studies in logic and the foundations of mathematics v. 149
Subjects:	Curry-Howard isomorphism Lambda calculus Proof theory Lambda-calculus Programmeren (computers)

Internet

Stanford University

Holdings details from Stanford University
Call Number:	ISIL:US-CST QA9.54 .S67 2006

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA9.54.S67 2006

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA9.54.S67 2006

Harvard University

Holdings details from Harvard University
Call Number:	QA9.54 .S67 2006x

Duke University

Holdings details from Duke University
Call Number:	QA9.54 .S67 2006

Dartmouth College

Holdings details from Dartmouth College
Call Number:	QA9.54 .S67 2006

Cornell University

Holdings details from Cornell University
Call Number:	QA9.54 .S67 2006

Columbia University

Holdings details from Columbia University
Call Number:	QA9.54 .S67 2006

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number:	QA9.54 .S67 2006