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