( en | de | ru )

 

Disambiguation of "de Vries, Fer-Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Infinitary Lambda Calculi and Böhm Models.

, , , and . RTA, volume 914 of Lecture Notes in Computer Science, page 257-270. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jan Vries

Jan Vries

Ulrike de Vries

Gerhard de Vries

Claudia de Vries

 

Other publications of authors with the same name

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