Bezem en Grootte (1993)
Bezem M. and Grootte J.F. (eds) (1993)
Typed lambda calculi and applications
Proc. Int. Conf. on typed lambda calculi and applications, TCLA'93, Springer LNCS 664