( en | de | ru )

 

Disambiguierung von "Capretta, Venanzio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A general method for proving the normalization theorem for first and second order typed lambda-calculi.

, und . Math. Struct. Comput. Sci., 9 (6): 719-739 (1999)

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.

Keine Personen gefunden für den Autorennamen Capretta, Venanzio
Eine Person hinzufügen mit dem Namen Capretta, Venanzio
 

Weitere Publikationen von Autoren mit dem selben Namen

Recursive coalgebras from comonads., , und . Inf. Comput., 204 (4): 437-468 (2006)Reflection in the Chomsky Hierarchy., , und . Journal of Automata, Languages and Combinatorics, 18 (1): 53-60 (2013)Coalgebras in functional programming and type theory.. Theor. Comput. Sci., 412 (38): 5006-5024 (2011)The continuity of monadic stream functions., und . LICS, Seite 1-12. IEEE Computer Society, (2017)Certifying the Fast Fourier Transform with Coq.. TPHOLs, Volume 2152 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2001)Type-Theoretic Functional Semantics., , und . TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2002)Setoids in type theory., , und . J. Funct. Program., 13 (2): 261-293 (2003)Recursive Families of Inductive Types.. TPHOLs, Volume 1869 von Lecture Notes in Computer Science, Seite 73-89. Springer, (2000)Bisimulations Generated from Corecursive Equations.. MFPS, Volume 265 von Electronic Notes in Theoretical Computer Science, Seite 245-258. Elsevier, (2010)Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq., und . TYPES, Volume 4502 von Lecture Notes in Computer Science, Seite 63-77. Springer, (2006)