PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "McKinna, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The λμT-calculus.

, , und . Ann. Pure Appl. Logic, 164 (6): 676-701 (2013)

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.

Univ. -Prof. Dr. James Foster University of Stuttgart

Samuel James Tovey University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

The λμT-calculus., , und . Ann. Pure Appl. Logic, 164 (6): 676-701 (2013)Some Lambda Calculus and Type Theory Formalized., und . J. Autom. Reasoning, 23 (3-4): 373-409 (1999)Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types., , und . Trends in Functional Programming, Volume 8 von Trends in Functional Programming, Seite 159-176. Intellect, (2007)Inductive Families Need Not Store Their Indices., , und . TYPES, Volume 3085 von Lecture Notes in Computer Science, Seite 115-129. Springer, (2003)Towards a Repository of Bx Examples., , , und . EDBT/ICDT Workshops, Volume 1133 von CEUR Workshop Proceedings, Seite 87-91. CEUR-WS.org, (2014)Proviola: A Tool for Proof Re-animation., , , und . AISC/MKM/Calculemus, Volume 6167 von Lecture Notes in Computer Science, Seite 440-454. Springer, (2010)Abstracting extensible data types: or, rows by any other name., und . Proc. ACM Program. Lang., 3 (POPL): 12:1-12:28 (2019)The lambda-mu-T-calculus, , und . CoRR, (2012)The view from the left., und . J. Funct. Program., 14 (1): 69-111 (2004)Type Inference in Context., , und . MSFP@ICFP, Seite 43-54. ACM, (2010)