|
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >>
|
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
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|