On the logical content of computational type theory: A solution to Curry's problem





Professorship/Faculty: Foundations of Computer Science  
Authors: Mendler, Michael
Responsibility: Fairtlough, M. ; Mendler, Michael
Title of the compilation: Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers / Paul Callaghan ... (ed.). - Berlin u.a., 2002. - (Lecture notes in computer science ; 2277). - S. 63 - 78
Year of publication: 2002
Language(s): English
Remark: 
Veröff. im Internet: http://link.springer.de/link/service/series/0558/tocs/t2277.htm
URL: http://www.springerlink.com/app/home/issue.asp?...
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/9776
Release Date: 24. September 2014