`Lambid' - calculus and computer science theory proceedings
Symposium on `lambid' - Calculus and Computer Science Theory, Rome, 1975 Corrado Bohn
Berlin Springer 1975
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.37 e.1 ) e outros locais(Acessar)