Items where Author is "de Vrijer, Roel"

Group by: Item Type | No Grouping
Number of items: 4.

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

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]

This list was generated on Fri Mar 29 00:30:43 2024 CET.