Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings


International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2001

Detaljer

Bibliotek som har denne