Regular ArticleAlpha-Conversion and Typability☆,☆☆
DEDICATED TO THE MEMORY OF ALONZO CHURCH
Under a Creative Commons license
open archive
Cited by (0)
- ☆
This work is partly supported by NSF grant CCR-9113196, by Polish KBN grant No. 2 1192 91 01 and by ESPRIT Basic Research Action grant No. 7232, “Gentzen”.
- ☆☆
AbramskyGabbayMaibaum
- f1
E-mail: [email protected]
- f2
E-mail: [email protected]
- f3
E:mail: [email protected], [email protected]
Copyright © 1999 Academic Press. All rights reserved.