Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings


International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2003

Detaljer

Bibliotek som har denne