Fer-Jan de Vries

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 4

Top Topics

Lambda Calculus

Computational Properties

Cut Elimination

Top Venues

Log. Methods Comput. Sci.

Math. Struct. Comput. Sci.

Publications

Fer-Jan de Vries
Encoding many-valued logic in λ-calculus. Log. Methods Comput. Sci. 17 (2) (2021)
Fer-Jan de Vries
Many-valued logics inside λ-calculus: Church's rescue of Russell with B{\"}ohm trees. CoRR (2018)
Paula Severi, Fer-Jan de Vries
The infinitary lambda calculus of the infinite eta Böhm trees. Math. Struct. Comput. Sci. 27 (5) (2017)
Fer-Jan de Vries
On Undefined and Meaningless in Lambda Definability. FSCD (2016)
Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. CALCO (2015)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Nominal Coalgebraic Data Types with Applications to Lambda Calculus. Log. Methods Comput. Sci. 9 (4) (2013)
Paula Severi, Fer-Jan de Vries
Completeness of Conversion between Reactive Programs for Ultrametric Models. TLCA (2013)
Paula Severi, Fer-Jan de Vries
Meaningless Sets in Infinitary Combinatory Logic. RTA (2012)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS (2012)
Paula Severi, Fer-Jan de Vries
Pure type systems with corecursion on streams: from finite to infinitary normalisation. ICFP (2012)
Paula Severi, Fer-Jan de Vries
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. WoLLIC (2011)
Paula Severi, Fer-Jan de Vries
Weakening the Axiom of Overlap in Infinitary Lambda Calculus. RTA (2011)
Paula Severi, Fer-Jan de Vries
Continuity and Discontinuity in Lambda Calculus. TLCA (2005)
Paula Severi, Fer-Jan de Vries
Order Structures on Böhm-Like Models. CSL (2005)
Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles (2005)
Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
Infinitary lambda calculus and discrimination of Berarducci trees. Theor. Comput. Sci. 298 (2) (2003)
Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Intersection types for lambda-trees. Theor. Comput. Sci. 272 (1-2) (2002)
Paula Severi, Fer-Jan de Vries
An Extensional Böhm Model. RTA (2002)
Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
Böhm's theorem for Berarducci trees. Electron. Notes Theor. Comput. Sci. 31 (2000)
Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. J. Funct. Log. Program. 1999 (1) (1999)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Types for trees. PROCOMET (1998)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculus. Theor. Comput. Sci. 175 (1) (1997)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Comparing Curried and Uncurried Rewriting. J. Symb. Comput. 21 (1) (1996)
Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. ALP (1996)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculi and Böhm Models. RTA (1995)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems Inf. Comput. 119 (1) (1995)
Jan van Eijck, Fer-Jan de Vries
Reasoning about update logic. J. Philos. Log. 24 (1) (1995)
Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Syntactic Definitions of Undefined: On Defining the Undefined. TACS (1994)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
On the Adequacy of Graph Rewriting for Simulating Term Rewriting. ACM Trans. Program. Lang. Syst. 16 (3) (1994)
Jan van Eijck, Fer-Jan de Vries
Dynamic Interpretation and Hoare Deduction. J. Log. Lang. Inf. 1 (1) (1992)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). RTA (1991)
Fer-Jan de Vries
A functional program for the fast Fourier transform. ACM SIGPLAN Notices 23 (1) (1988)
Dirk van Dalen, Fer-Jan de Vries
Intuitionistic Free Abelian Groups. Math. Log. Q. 34 (1) (1988)