Polymorphic typed lambda-calculi in a type-free axiomatic framework
- 1 January 1990
- other
- Published by American Mathematical Society (AMS) in Contemporary Mathematics
- Vol. 106, 101-136
- https://doi.org/10.1090/conm/106/1057818
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: