Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581)

Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99, L’Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581)

$2,309.79

Download Catalog

ISBN 9783540657637 Categories ARCHITECTURE, ARCHITECTURE, CALCULUS & MATHEMATICAL ANALYSIS, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS

Additional information

Weight	44.8 kg
ISBN	3540657630
ISBN13	9783540657637
Author	Girard, Jean-Yves
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1999
Edition	1999
Pages	412

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros