You need to sign in or sign up before continuing.

Editions

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

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

Lecture Notes in Computer Science

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

315 pages

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

Lecture Notes in Computer Science

Type 7

412 pages

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

Lecture Notes in Computer Science

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

452 pages

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

Lecture Notes in Computer Science

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

443 pages

nonfiction computer science mathematics informative reflective medium-paced
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings by

Lecture Notes in Computer Science

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

404 pages

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

Lecture Notes in Computer Science

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

400 pages

nonfiction computer science mathematics informative reflective medium-paced