Fer-Jan de Vries

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