skip to main content
Primo Search
Search in: Busca Geral

Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 proceedings

International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan) Pawel Urzyczyn

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

Buscando em bases de dados remotas. Favor aguardar.