Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Local type inference, und . ACM Trans. Program. Lang. Syst., 22 (1): 1-44 (Januar 2000)Pict: a programming language based on the Pi-Calculus., und . Proof, Language, and Interaction, Seite 455-494. The MIT Press, (2000)Advanced Topics in Types and Programming Languages. MIT Press, 1 Edition, (23.12.2005)Higher-Order Subtyping., und . PROCOMET, Volume A-56 von IFIP Transactions, Seite 511-530. North-Holland, (1994)XTATIC., , , und . PLAN-X, Seite 88. BRICS, Department of Computer Science, University of Aarhus, (2006)A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice., , und . PLAN-X, Seite 80-90. (2007)Basic category theory for computer scientists.. Foundations of computing MIT Press, (1991)Comparing Object Encodings., , und . TACS, Volume 1281 von Lecture Notes in Computer Science, Seite 415-438. Springer, (1997)Harmony: The Art of Reconciliation.. TGC, Volume 3705 von Lecture Notes in Computer Science, Seite 1. Springer, (2005)Proof Assistants as Teaching Assistants: A View from the Trenches.. ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 8. Springer, (2010)