R
R. C. de Vrijer
Researcher at University of Amsterdam
Publications - 2
Citations - 58
R. C. de Vrijer is an academic researcher from University of Amsterdam. The author has contributed to research in topics: Surjective function & Pairing. The author has an hindex of 2, co-authored 2 publications receiving 58 citations.
Papers
More filters
Journal ArticleDOI
Unique normal forms for Lambda calculus with surjective pairing
Jan Willem Klop,R. C. de Vrijer +1 more
TL;DR: Two reduction systems yielding the equality of λπ are introduced; the first is not confluent and, for the second, confluence is an open problem.
Proceedings ArticleDOI
Extending the lambda calculus with surjective pairing is conservative
TL;DR: The author obtains a syntactic consistency proof of lambda pi and shows that it is a conservative extension of the pure lambda calculus.