Log in to your account
International Conference on Typed Lambda Calculi and Applications,, 7,
Typed lambda calculi and applications : proceedings / 7th International Conference... ; ed. Pawel Urzyczyn
Typed lambda calculi and applications : proceedings / 7th International Conference... ; ed. Pawel Urzyczyn . - Berlin : Springer, cop. 2005 . - XI, 432 p. : il. 24 cm . - (Lecture notes in computer science; 3461)
3-540-25593-1 Brochado978-3-540-25593-2
519.6
Typed lambda calculi and applications : proceedings / 7th International Conference... ; ed. Pawel Urzyczyn . - Berlin : Springer, cop. 2005 . - XI, 432 p. : il. 24 cm . - (Lecture notes in computer science; 3461)
3-540-25593-1 Brochado978-3-540-25593-2
519.6
Exporting to Dublin Core...
Bibliotecas Libraries
Serviços Services
Contactos gerais Contacts
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
- http://www.sdum.uminho.pt
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
