Log in to your account
International Conference, TLCA,, 6,
Typed lambda calculi and applications : proceedings / 6th International Conference, TLCA 2003 ; ed. Martin Hofmann
Typed lambda calculi and applications : proceedings / 6th International Conference, TLCA 2003 ; ed. Martin Hofmann . - Berlin : Springer, cop. 2003 . - VIII, 315 p. 24 cm . - (Lecture notes in computer science; 2701)
3-540-40332-9 Brochado
519.6
Typed lambda calculi and applications : proceedings / 6th International Conference, TLCA 2003 ; ed. Martin Hofmann . - Berlin : Springer, cop. 2003 . - VIII, 315 p. 24 cm . - (Lecture notes in computer science; 2701)
3-540-40332-9 Brochado
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
