Combinatory Reduction Systems: introduction and survey (1993)

Cached

Download Links

by Jan Willem Klop , Vincent van Oostrom , Femke van Raamsdonk
Venue:THEORETICAL COMPUTER SCIENCE
Citations:84 - 9 self

Document Versions

Combinatory Reduction Systems: introduction and survey –Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk — 1993 — THEORETICAL COMPUTER SCIENCE