Items where Author is "de Vrijer, Roel"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 4.

Report

CT-1990-09: de Vrijer, Roel (1990) Unique Normal Forms for Combinatory Logic with Parallel Conditional, a case study in Conditional Rewriting. [Report]

ML-1989-02: de Vrijer, Roel (1989) Extending the Lambda Calculus with Surjective Pairing is conservative. [Report]

ITLI-1987-03: Klop, Jan Willem and de Vrijer, Roel (1987) Unique Normal Forms for Lambda Calculus with Surjective Pairing. [Report]

Thesis

HDS-30: de Vrijer, Roel (2019) Surjective pairing and strong normalization: two themes in lambda calculus. Doctoral thesis, University of Amsterdam.

This list was generated on Sun Dec 22 00:30:41 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility