CT-1990-09: Unique Normal Forms for Combinatory Logic with Parallel Conditional, a case study in Conditional Rewriting

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

[thumbnail of Full Text]
Preview
Text (Full Text)
CT-1990-09.text.pdf

Download (1MB) | Preview
Item Type: Report
Report Nr: CT-1990-09
Series Name: Computation and Complexity Theory (CT)
Year: 1990
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1026

Actions (login required)

View Item View Item