( en | de | ru )

 

Disambiguierung von "Altenkirch, Thorsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tait in One Big Step.

, und . MSFP@MPC, BCS, (2006)

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.

Gunda Altenkirch

Oliver Altenkirch

Josef Altenkirch

Holger Altenkirch

Gudrun Altenkirch

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formalization of the Strong Normalization Proof for System F in LEGO.. TLCA, Volume 664 von Lecture Notes in Computer Science, Seite 13-28. Springer, (1993)Structuring quantum effects: superoperators as arrows., , und . Math. Struct. Comput. Sci., 16 (3): 453-468 (2006)Subtyping, Declaratively., und . MPC, Volume 6120 von Lecture Notes in Computer Science, Seite 100-118. Springer, (2010)The Integers as a Higher Inductive Type., und . LICS, Seite 67-73. ACM, (2020)A Partial Type Checking Algorithm for Type: Type., und . MSFP@ICALP, Volume 229 von Electronic Notes in Theoretical Computer Science, Seite 3-17. Elsevier, (2008)Containers: Constructing strictly positive types., , und . Theor. Comput. Sci., 342 (1): 3-27 (2005)Internal Parametricity, without an Interval., , , und . Proc. ACM Program. Lang., 8 (POPL): 2340-2369 (Januar 2024)PiSigma: Dependent Types without the Sugar., , , und . FLOPS, Volume 6009 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2010)Logical Relations and Inductive/Coinductive Types.. CSL, Volume 1584 von Lecture Notes in Computer Science, Seite 343-354. Springer, (1998)Representations of First Order Function Types as Terminal Coalgebras.. TLCA, Volume 2044 von Lecture Notes in Computer Science, Seite 8-21. Springer, (2001)