Fairtlough, M. ; Mendler, Michael:
On the logical content of computational type theory: A solution to Curry`s problem
.
In: Callaghan, P. ; Luo, Z. ; McKinna, J. ; Pollack, R. (Hrsg.) : Types for Proofs and Programs.
Berlin u.a. : Springer, 2002, (LNCS Bd. 2277), S. 63-78.
Institution: Professur für Grundlagen der Informatik
|
|