Prezados colegas,
Estou precisando dos seguintes artigos:
1. Do Seldin and Hindleyeditors: To H. B. Curry: Essays on Combinatory
Logic, Lambda calculus and formalism, Academic Press, 1980 os seguintes
artigos:
a) Scott: Relating theories of the lambda-calculus (paginas 403-450).
b) Lambek: From lambda calculus to cartesian closed categories (páginas
375-402).
2. Lambek: Cartesian closed categories and lambda calculi LNCS 242, 1985.
E do seguinte livro:
3. Lambek, Scott: Introduction to higher order categorical logic, Cambridge
University Press, 1986.
Quem puder ajudar... Aqui na UFMG não tem nennuma das referências acima...
Obrigada,
--
Elaine.
-------------------------------------------------
Elaine Pimentel - DMat/UFMG
Address: Departamento de Matematica
Universidade Federal de Minas Gerais
Av Antonio Carlos, 6627 - C.P. 702
Pampulha - CEP 30.161-970
Belo Horizonte - Minas Gerais - Brazil
Phone: 55 31 3409-5970/3409-5994
Fax: 55 31 3409-5692
http://www.mat.ufmg.br/~elaine
-------------------------------------------------
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
