Oi Elaine,
eu tenho uma fotocopia parcial do "To H.B. Curry" so' com quatro dos
artigos dele - os dois que voce precisa e mais um do Gandy ("An Early
Proof of Normalization by A.M. Turing") e um de tres autores chamado
"principal type schemes and lambda-calculus semantics"... posso
envia'-la pelo correio pra voce amanha de manha, e ai' voce a le^ /
xeroca / scaneia / etc e daqui a um tempo manda ela de volta pra mim...
o que voce acha?
[],
Eduardo Ochs
[email protected]
http://angg.twu.net/
2009/1/28 Elaine Pimentel <[email protected]>:
> 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
>
>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
