Oi, Elaine.
Pelo Gigapedia (http://gigapedia.com) podes obter este e muitos outros livros. Primeiro cadastra-te no Gigapedia, é fácil e gratuito. Seguem liames do Gigapedia para baixar os seguintes livros: · Introduction to Higher Order Categorical Logic, de J. Lambek e P. J. Scott: http://gigapedia.com/items:links?id=83678; · Categorical Logic and Type Theory, de B. Jacobs: http://gigapedia.com/items:links?id=84961; · Topoi - The Categorial Analysis of Logic, de Robert Goldblatt: http://gigapedia.com/items:links?id=49246; · Combinators, Lambda-Terms and Proof Theory, de Sören Stenlund: http://gigapedia.com/items:links?id=39544; · Lambda-Calculus and Combinators - an Introduction, de J. Roger Hindley e Jonathan P. Seldin: http://gigapedia.com/items:links?id=138260; · Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, de Philippe de Groote e J. Roger Hindley: http://gigapedia.com/items:links?id=114823. a) Arthur Buchsbaum De: [email protected] [mailto:[email protected]] Em nome de Elaine Pimentel Enviada em: quarta-feira, 28 de janeiro de 2009 08:36 Para: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Assunto: [Logica-l] Artigos sobre Teoria das Categorias 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 [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
