Items where Author is "de Vrijer, Roel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Report
Number of items: 3.

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]

This list was generated on Tue Mar 31 00:31:36 2020 CEST.