R.C. de Vrijer, recent publications

• Terese
  Term Rewriting Systems
  Cambridge Tracts in Theoretical Computer Science, Vol. 55, Cambridge University Press, 2003.
  ( publisher announcement, Terese website )
  
  
• V. van Oostrom and R.C. de Vrijer
  Four equivalent equivalences of reductions
  Electronic Notes in Theoretical Computer Science, 70(6):1--41, 2002.
  (pdf)
  
  
• Mirna Bognar and Roel de Vrijer
  The context cube lambda[]: Barendregt's lambda cube with contexts
  In F. Kamareddine, editor, Workshop on Thirty Five Years of Automath (Informal Proceedings), pages 1--16. Herriot-Watt University, Edinburgh, 2002.
  ( postscript)
  
  
• Mirna Bognar and Roel de Vrijer
  A calculus of lambda-calculus contexts
  Journal of Automated Reasoning}, 27(1):29--59, 2001.
  ( postscript)
  
  
• Inge Bethke, Jan Willem Klop and Roel de Vrijer
  Descendents and origins in term rewriting
  Information and Computation, 159(1-2):59--124, 2000.
  (Also as Technical Report, Vrije Universiteit, Faculteit der Exacte Wetenschappen, IR-458, 1998, revision September 1999)
  (abstract, compressed postscript)
  
  
• Jan Willem Klop, Vincent van Oostrom and Roel de Vrijer
  A geometric proof of confluence by decreasing diagrams
  Journal of Logic and Computation}, 10(3):437--460, 2000.
  (Also as Technical Report, Vrije Universiteit, Faculteit der Exacte Wetenschappen, IR-456, 1998, revision December 1999)
  (abstract, compressed postscript)
  
  
• Inge Bethke, Jan Willem Klop and Roel de Vrijer
  Extending partial combinatory algebras
  Mathematical Structures in Computer Science, 9(4):483--505, 1999. (Also as Technical Report, Vrije Universiteit, Faculteit der Exacte Wetenschappen, IR-448, 1998)
  (abstract, compressed postscript)
  
  
• Mirna Bognar and Roel de Vrijer
  The context calculus lambda-c
  Workshop on Logical Frameworks and Meta-languages, Paris, France, 28 September 1999
  (abstract, compressed postscript)
  
  
• Jan Willem Klop, Vincent van Oostrom and Roel de Vrijer
  Course notes on Braids
  UU & CWI, Draft, 45 pages, July 1998
  (postscript (UU, Utrecht))
  
  
• Roel de Vrijer
  Conditional linearization
  Indagationes Mathematicae, N.S., 10(1), 1999, p.145-159
  (Also as: Technical Report, Vrije Universiteit, Faculteit der Exacte Wetenschappen, IR-457, 1998)
  (abstract, compressed postscript)