( en | de | ru )

 

Disambiguierung von "de Vries, Fer-Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Undefined and Meaningless in Lambda Definability.

. FSCD, Volume 52 von LIPIcs, Seite 18:1-18:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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.

Jan Vries

Jan Vries

Ulrike de Vries

Gerhard de Vries

Claudia de Vries

 

Weitere Publikationen von Autoren mit dem selben Namen

Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract)., , , und . RTA, Volume 488 von Lecture Notes in Computer Science, Seite 1-12. Springer, (1991)Dynamic Interpretation and Hoare Deduction., und . J. Log. Lang. Inf., 1 (1): 1-44 (1992)Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus., und . WoLLIC, Volume 6642 von Lecture Notes in Computer Science, Seite 210-227. Springer, (2011)Continuity and Discontinuity in Lambda Calculus., und . TLCA, Volume 3461 von Lecture Notes in Computer Science, Seite 369-385. Springer, (2005)Weakening the Axiom of Overlap in Infinitary Lambda Calculus., und . RTA, Volume 10 von LIPIcs, Seite 313-328. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Meaningless Sets in Infinitary Combinatory Logic., und . RTA, Volume 15 von LIPIcs, Seite 288-304. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Completeness of Conversion between Reactive Programs for Ultrametric Models., und . TLCA, Volume 7941 von Lecture Notes in Computer Science, Seite 221-235. Springer, (2013)On Undefined and Meaningless in Lambda Definability.. FSCD, Volume 52 von LIPIcs, Seite 18:1-18:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)A functional program for the fast Fourier transform.. ACM SIGPLAN Notices, 23 (1): 67-74 (1988)Pure type systems with corecursion on streams: from finite to infinitary normalisation., und . ICFP, Seite 141-152. ACM, (2012)