Fer-Jan de Vries
Fer-Jan de Vries
Department of Computer Science, University of Leicester
Verified email at mcs.le.ac.uk - Homepage
Title
Cited by
Cited by
Year
Transfinite reductions in orthogonal term rewriting systems
R Kennaway, JW Klop, R Sleep, FJ Devries
Information and computation 119 (1), 18-38, 1995
237*1995
Infinitary lambda calculus
JR Kennaway, JW Klop, MR Sleep, FJ de Vries
Theoretical Computer Science 175 (1), 93-125, 1997
1921997
On the adequacy of graph rewriting for simulating term rewriting
JR Kennaway, JW Klop, MR Sleep, FJ de Vries
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 493-523, 1994
1261994
Dynamic interpretation and Hoare deduction
J Van Eijck, FJ De Vries
Journal of Logic, Language and Information 1 (1), 1-44, 1992
951992
Infinitary rewriting
JR Kennaway, FJ de Vries
Cambridge University Press 55, 668-711, 2003
872003
Meaningless terms in rewriting
R Kennaway, V Van Oostrom, FJ de Vries
Journal of Logic and Functional Programming 1999 (Article 1), 35, 1999
681999
Comparing curried and uncurried rewriting
R Kennaway, JW Klop, MR Sleep, FJ De Vries
Journal of Symbolic Computation 21 (1), 15-40, 1996
561996
Reasoning about Update Logic
DJN van Eijck, FJ de Vries
Journal of Philosophical Logic, 1995
45*1995
Infinitary lambda calculi and Böhm models
R Kennaway, JW Klop, R Sleep, FJ de Vries
International Conference on Rewriting Techniques and Applications, 257-270, 1995
351995
An extensional Böhm model
P Severi, FJ de Vries
International Conference on Rewriting Techniques and Applications, 159-173, 2002
272002
Syntactic definitions of undefined: On defining the undefined
Z Ariola, R Kennaway, JW Klop, R Sleep, FJ de Vries
International Symposium on Theoretical Aspects of Computer Software, 543-554, 1994
271994
Intersection types for λ-trees
S Van Bakel, F Barbanera, M Dezani-Ciancaglini, FJ de Vries
Theoretical Computer Science 272 (1-2), 3-40, 2002
24*2002
Pure type systems with corecursion on streams: from finite to infinitary normalisation
PG Severi, FJ de Vries
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
232012
Nominal coalgebraic data types with applications to lambda calculus
A Kurz, DL Petrişan, P Severi, FJ de Vries
arXiv preprint arXiv:1311.1395, 2013
222013
Event Structures and orthogonal term graph rewriting
JR Kennaway, JW Klop, MR Sleep, FJ de Vries
Term graph rewriting: theory and practice, 141-156, 1993
221993
Infinitary lambda calculus and discrimination of Berarducci trees
M Dezani-Ciancaglini, P Severi, FJ de Vries
Theoretical Computer Science 298 (2), 275-302, 2003
202003
Δ-languages for sets and LOGSPACE computable graph transformers
A Lisitsa, V Sazonov
Theoretical Computer Science 175 (1), 183-222, 1997
151997
Transfinite reductions in orthogonal term rewriting systems
JR Kennaway, JW Klop, MR Sleep
Department of Computer Science [CS], 1990
141990
Weakening the axiom of overlap in infinitary lambda calculus
P Severi, FJ de Vries
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
132011
Order structures on Böhm-like models
P Severi, FJ de Vries
International Workshop on Computer Science Logic, 103-118, 2005
132005
The system can't perform the operation now. Try again later.
Articles 1–20