Extending the lambda calculus with surjective pairing is conservative / Roel de VrijerUnique normal forms for combinatory logic with parallel conditional : a case study in conditional rewriting / R.C. de VrijerUnique normal forms for combinatory logic with parallel conditional : a case study in conditional rewriting / Roel de VrijerConditional linearization / R. de VrijerSurjective pairing and strong normalization : two themes in lambda calculus / Roelof Cornelis de Vrijer
author
Unique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de VrijerExtended term rewriting systems / Jan Willem Klop, Roel de VrijerExtended term rewriting systems / J.W. Klop, R.C. de VrijerUnique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de VrijerCompleting partial combinatory algebras with unique head-normal forms / I. Bethke, J.W. Klop, R. de VrijerOrigin tracking in orthogonal term rewriting systems / I. Bethke, J.W. Klop, R. de VrijerExtending partial combinatory algebras / I. Bethke, J.W. Klop, R. de VrijerA geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de VrijerDescendants and origins in term rewriting / I. Bethke, J.W. Klop, R. de VrijerExtending partial combinatory algebras / I. Bethke, J.W. Klop, R. de VrijerDescendants and origins in term rewriting / I. Bethke, J.W. Klop, R, de VrijerA geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de VrijerA geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de VrijerFour equivalent equivalences of reductions / Vincent van Oostrom, Roel de VrijerInfinitary normalization / J.W. Klop, R.C. de Vrijer