Closure Under Alpha-Conversion (1993)

Cached

Download Links

by Randy Pollack
Venue:In The Informal Proceeding of the 1993 Workshop on Types for Proofs and Programs
Citations:24 - 3 self

Document Versions

Closure Under Alpha-Conversion –Randy Pollack — 1993 — In The Informal Proceeding of the 1993 Workshop on Types for Proofs and Programs