Browse editions

Current edition
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings by

Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings

Lecture Notes in Computer Science

404 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced
Other editions (5)
Expand filter menu Filter editions
Type 7 by

Type 7

Lecture Notes in Computer Science

412 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, by

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom,

Lecture Notes in Computer Science

452 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne by

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne

Lecture Notes in Computer Science

443 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced
Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings by

Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings

Lecture Notes in Computer Science

400 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced
Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings by

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Lecture Notes in Computer Science

315 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced