- Weakening the Axiom of Overlap in Infinitary Lambda Calculus
- Separability of Infinite Lambda Terms Paula Severi and Fer-Jan de Vries
- Intersection Types for Steffen van Bakel Franco Barbanera
- Continuity and Discontinuity in Lambda Calculus Paula Severi and FerJan de Vries
- Continuity and Discontinuity in Lambda Calculus Paula Severi and Fer-Jan de Vries
- Order Structures on Bohmlike Models Paula Severi and FerJan de Vries
- 12 In nitary rewriting 1 12.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
- Dynamic interpretation and Hoare JAN VAN EIJCK
- J. Symbolic Computation (1995) 11, 1--000 Comparing Curried and Uncurried Rewriting y
- Reasoning about Update Logic Jan van Eijck 1;2 & FerJan de Vries 1
- The Journal of Functional and Logic Programming
- An Extensional Bohm Model Paula Severi1
- Separability of Infinite Lambda Terms Paula Severi and Fer-Jan de Vries
- Richard Kennaway Jan-Willem Klop
- Strong convergence of term rewriting using strong dependency pairs
- Infinitary Rewriting: From Syntax to Semantics Richard Kennaway1
- Infinitary lambda calculus J.R. Kennaway a , J.W. Klop b , M.R. Sleep a and
- An Extensional Bohm Model Paula Severi 1? and Fer-Jan de Vries 2
- Transfinite Reductions in Orthogonal Term Rewriting Systems Richard Kennaway 1 , Jan Willem Klop 2 , Ronan Sleep 3 and FerJan de Vries 4
- The Journal of Functional and Logic Programming
- Reasoning about Update Logic Jan van Eijck1,2& Fer-Jan de Vries1
- Revised: 93jul22 14:00 On the Adequacy of Graph Rewriting
- The Journal of Functional and Logic Programming
- Order Structures on Bohm-like Models Paula Severi and Fer-Jan de Vries
- Order Structures on B"ohm-like Models Paula Severi and Fer-Jan de Vries
- J. Symbolic Computation (1995) 11, 1-000 Comparing Curried and Uncurried Rewritingy
- Continuity and Discontinuity in Lambda Calculus Paula Severi and Fer-Jan de Vries
- On termination and confluence of rewriting with real numbers
- Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus
- CATS 2000 Preliminary Version 1
- To be presented at the Workshop on Domain Theory held in honour of Dana Scott's_70'th_birthday_______________________________________________
- Dynamic interpretation and Hoare JAN VAN EIJCK
- Infinitary lambda calculus J.R. Kennaway a , J.W. Klop b , M.R. Sleep a and
- 12 Infinitary rewriting 1 12.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . *
- To appear in the Proceedings of the 13th International Conference on Rewriting, Techniques_and_Applications,_RTA'02_________________________________
- An Extensional B"ohm Model Paula Severi1? and Fer-Jan de Vries2
- the Adequacy of Graph Rewriting Simulating Term Rewriting
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
