Fer-Jan de Vries

2005
19	EE	Paula Severi, Fer-Jan de Vries: Order Structures on Böhm-Like Models. CSL 2005: 103-118
18	EE	Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172
17	EE	Paula Severi, Fer-Jan de Vries: Continuity and Discontinuity in Lambda Calculus. TLCA 2005: 369-385
2003
16	EE	Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Infinitary lambda calculus and discrimination of Berarducci trees. Theor. Comput. Sci. 2(298): 275-302 (2003)
2002
15	EE	Paula Severi, Fer-Jan de Vries: An Extensional Böhm Model. RTA 2002: 159-173
14	EE	Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Intersection types for lambda-trees. Theor. Comput. Sci. 272(1-2): 3-40 (2002)
2000
13	EE	Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Böhm's theorem for Berarducci trees. Electr. Notes Theor. Comput. Sci. 31: (2000)
1999
12		Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries: Meaningless Terms in Rewriting. Journal of Functional and Logic Programming 1999(1): (1999)
1998
11		Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Types for trees. PROCOMET 1998: 11-29
1997
10	EE	Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculus. Theor. Comput. Sci. 175(1): 93-125 (1997)
1996
9		Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries: Meaningless Terms in Rewriting. ALP 1996: 254-268
8		Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Comparing Curried and Uncurried Rewriting. J. Symb. Comput. 21(1): 15-39 (1996)
1995
7		Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculi and Böhm Models. RTA 1995: 257-270
6		Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Transfinite Reductions in Orthogonal Term Rewriting Systems Inf. Comput. 119(1): 18-38 (1995)
1994
5		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: 543-554
4	EE	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): 493-523 (1994)
1992
3		Jan van Eijck, Fer-Jan de Vries: Dynamic Interpretation and Hoare Deduction. Journal of Logic, Language and Information 1(1): 1-44 (1992)
1991
2		Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). RTA 1991: 1-12
1988
1	EE	Fer-Jan de Vries: A functional program for the fast Fourier transform. SIGPLAN Notices 23(1): 67-74 (1988)

Coauthor Index

1	Zena M. Ariola	[5]
2	Steffen van Bakel	[14]
3	Franco Barbanera	[11] [14]
4	Mariangiola Dezani-Ciancaglini	[11] [13] [14] [16]
5	Jan van Eijck	[3]
6	Richard Kennaway	[2] [4] [5] [6] [7] [8] [9] [10] [12] [18]
7	Jan Willem Klop	[2] [4] [5] [6] [7] [8] [10]
8	Vincent van Oostrom	[9] [12]
9	Paula Severi	[13] [15] [16] [17] [18] [19]
10	M. Ronan Sleep	[2] [4] [5] [6] [7] [8] [10] [18]

Colors in the list of coauthors