Book serie: / Книги серии: Lecture Notes in Computer Science 1210 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 1210

book Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings

pdf

Author: Yohji Akama (auth.) Philippe de Groote J. Roger Hindley (eds.)
Language: English
Year: 1997

00

27.01.2024

0

0

book Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings

djvu

Author: Yohji Akama (auth.) Philippe de Groote J. Roger Hindley (eds.)
Language: English
Year: 1997

00

26.01.2024

1

0