Typed lambda calculi and applications 5th international conference, TLCA 2001, Kraków, Poland, May 2 - 5, 2001 ; proceedings (Springer, 2001)
Literaturangaben