Inherited limits (1998)

by T Æ MOGENSEN
Venue:In Partial Evaluation: Practice and Theory (Copenhagen