Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 proceedings
International Conference on Typed Lambda Calculi and Applications (8th 2007 Paris, France) S Ronchi Della Rocca (Simona)
Berlin Springer c2007
Localização: IME - Inst. Matemática e Estatística (S L471c v.4583 )(Acessar)