Expansion Postponement for Normalising Pure Type Systems

Erik Poll. Expansion Postponement for Normalising Pure Type Systems. Journal of Functional Programming, 8(1):89-96, 1998.

Possibly Related Publications

The following publications are possibly variants of this publication: