( en | de | ru )

 

Disambiguierung von "Hofmann, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the interpretation of type theory in locally cartesian closed categories

. Computer Science Logic, Volume 933 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)
DOI: 10.1007/BFb0022273

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems, , , und . KI 2007: Advances in Artificial Intelligence, Volume 4667 von LNCS, Seite 468--472. Springer-Verlag, (2007)Analytical Inductive Programming as a Cognitive Rule Acquisition Device, , und . Second Conference on Artificial General Intelligence, Seite 162--167. Atlantis Press, (2009)Graphical Structure-Oriented Search in a Hypertext System., und . DEXA, Seite 179-184. Springer-Verlag, Wien, (1992)Typed Lambda Calculi and Applications 2003, Selected Papers., und . Fundam. Informaticae, (2005)Realizability models and implicit complexity., und . Theor. Comput. Sci., 412 (20): 2029-2047 (2011)Proof-Relevant Logical Relations for Name Generation., , und . CoRR, (2017)Sound and Complete Axiomatisations of Call-by-Value Control Operators.. Math. Struct. Comput. Sci., 5 (4): 461-482 (1995)A new method for establishing conservativity of classical systems over their intuitionistic version., und . Math. Struct. Comput. Sci., 9 (4): 323-333 (1999)A Semantic Proof of Polytime Soundness of Light Affine Logic., und . CSR, Volume 5010 von Lecture Notes in Computer Science, Seite 134-145. Springer, (2008)Biomedical and Chemical Named Entity Recognition with Conditional Random Fields: The Advantage of Dictionary Features., , , und . SMBM, Volume 177 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)