On the logical content of computational type theory: A solution to Curry's problem
Mendler, Michael (2002): „On the logical content of computational type theory: A solution to Curry’s problem“. Berlin u.a.
Author:
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
Editors:
Callaghan, Paul
Conference:
international workshop, TYPES 2000, December 8 - 12, 2000 ; Durham, UK
Publisher Information:
Year of publication:
2002
Pages:
Series ; Volume:
Lecture notes in computer science ; 2277
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/9776