MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Closure Under Alpha-Conversion." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Closure Under Alpha-Conversion
by Randy Pollack — 1993 — In The Informal Proceeding of the 1993 Workshop on Types for Proofs and Programs
…Closure Under Alpha-Conversion ? ?? Randy Pollack Laboratory for Foundations of Computer Science…
Cited by 13 (2 self) – Add To MetaCart

The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions
by Robert Pollack — 1994
….4.9.4 Closure Under Reduction : : : : : : : : : : : : : : : : : 72 4.4.9.5 Closure Under Alpha-Conversion…
Cited by 64 (9 self) – Add To MetaCart

Informal Proceedings Of The 1993 Workshop On Types For Proofs And Programs, Nijmegen
by Herman Geuvers (ed.) — 1993
… : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 315 R. Pollack Closure Under Alpha-Conversion…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB