Options
On the logical content of computational type theory: A solution to Curry's problem
Fairtlough, M.; Mendler, Michael (2002): On the logical content of computational type theory: A solution to Curry’s problem, in: Paul Callaghan, Paul Callaghan, Paul Callaghan, u. a. (Hrsg.), Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers, Berlin u.a., S. 63–78.
Faculty/Chair:
Author:
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
Activation date:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/9776