- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c14 |      | Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries: An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS 2012: 130-149 |
| c13 | | Paula Severi, Fer-Jan de Vries: Pure type systems with corecursion on streams: from finite to infinitary normalisation. ICFP 2012: 141-152 |
| c12 | | |
| 2011 | ||
| c11 | | Paula Severi, Fer-Jan de Vries: Weakening the Axiom of Overlap in Infinitary Lambda Calculus. RTA 2011: 313-328 |
| c10 | | Paula Severi, Fer-Jan de Vries: Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. WoLLIC 2011: 210-227 |
| 2005 | ||
| c9 | | Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172 |
| c8 | | |
| c7 | | |
| 2003 | ||
| j10 | | 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 | ||
| j9 | | 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) |
| c6 | | |
| 2000 | ||
| j8 | | Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Böhm's theorem for Berarducci trees. Electr. Notes Theor. Comput. Sci. 31: 34-57 (2000) |
| 1999 | ||
| j7 | | Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries: Meaningless Terms in Rewriting. Journal of Functional and Logic Programming 1999(1) (1999) |
| 1998 | ||
| c5 |  | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Types for trees. PROCOMET 1998: 11-29 |
| 1997 | ||
| j6 | | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculus. Theor. Comput. Sci. 175(1): 93-125 (1997) |
| 1996 | ||
| j5 | | 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) |
| c4 | | Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries: Meaningless Terms in Rewriting. ALP 1996: 254-268 |
| 1995 | ||
| j4 | | 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) |
| c3 | | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries: Infinitary Lambda Calculi and Böhm Models. RTA 1995: 257-270 |
| 1994 | ||
| j3 | | 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) |
| c2 | | 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 |
| 1992 | ||
| j2 | | Jan van Eijck, Fer-Jan de Vries: Dynamic Interpretation and Hoare Deduction. Journal of Logic, Language and Information 1(1): 1-44 (1992) |
| 1991 | ||
| c1 | | 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 | ||
| j1 | | Fer-Jan de Vries: A functional program for the fast Fourier transform. SIGPLAN Notices 23(1): 67-74 (1988) |
Data released under the ODC-BY 1.0 license — See also our legal information page