Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings


International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1999

Detaljer

Bibliotek som har denne