A Notation for Lambda Terms I: A Generalization of Environments (1994)

Cached

Download Links

by Gopalan Nadathur , Debra Sue Wilson
Venue:THEORETICAL COMPUTER SCIENCE
Citations:33 - 12 self

Document Versions

A Notation for Lambda Terms I: A Generalization of Environments –Gopalan Nadathur, Debra Sue Wilson — 1994 — THEORETICAL COMPUTER SCIENCE
A Notation for Lambda Terms: A Generalization of Environments –Gopalan Nadathur, Debra Sue Wilson — 1994 — Theoretical Computer Science