Informações

Homepage do Professor 

Curriculo...

Publicações

Áreas de Pesquisa

Projetos de Pesquisa

Eventos

Ensino de Graduação

Ensino de Pós Graduação

Informações para Candidatos à Orientação

Minhas mulheres...

Fotografias de Florianópolis Antiga

Você lê?

1. Cálculo Lambda

Links

1. Wikipedia: Lambda Calculus. Sem comentários. Use por sua conta e risco. Eu gostei.
2. Some executable Lambda-calculus examples. Página com exemplos executáveis de L. Allison.
3. Lambda tutorial de Chris Barker, do Departamento de Lingüística da Universidadde de San Diego. Possui um microinterpretador de uma linha onde você pode executar expressões e ver se acertou.
4. To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction - Site australiano com exemplos gráficos de redução-lambda
5. Lambda-Calculus - Página de Cálculo Lambda de Lloyd Allison com interpretador e exemplos
6. Lambda-Calculus Interpreters - Código fonte de interpretadores de cálculo lambda mantido por Lloyd Allison.
7. Lambda Calculus Examples por Lloyd Allison.
8. Lambda Calculus em 16 Horas de C.-H. L. Ong (Para formandos...)
9. Lambda Calculus no The Free Online Dictionary of Computing
10. Introduction to the Lambda Calculus da Universidade de Cornell
11. Introduction to the Lambda Calculus da Universidade da Carolina do Norte em Chapel Hill
12. An Introduction to Lambda Calculus and Scheme. Mais uma introdução ao assunto, essa da autoria de Jim Larson
13. "Algebra and the Lambda Calculus" [representing functions as members of an algebraic system] (A. Jaffer), Revista Dr. Dobbs, Sep93, 36

1. Lambda Calculus: Its Syntax and Semantics. Barendregt, H.P. Published: October 1987 Publisher: North-Holland Pub. Co. Series:  Studs. in Logic & the Foundation of Maths 
2. Barendregt, H. P. The Lambda Calculus. Amsterdam, Netherlands: North-Holland, 1981.
3. Hankin, C. Lambda Calculi: A Guide for Computer Scientists. Oxford, England: Oxford University Press, 1995.
4. Hindley, J. R. and Seldin, J. P. Introduction to Combinators and -Calculus. Cambridge, England: Cambridge University Press, 1986.
5. Penrose, R. The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford, England: Oxford University Press, pp. 66-70, 1989.
6. Révész, G. E. Lambda-Calculus, Combinators, and Functional Programming. Cambridge, England: Cambridge University Press, 1988.
7. Seldin, J. P. and Hindley, J. R. (Eds.). To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. New York: Academic Press, 1980.

Links e Livros Eletrônicos

1. Livro-Texto básico da Disciplina 
• David S. Touretzty: Common Lisp - A Gentle Introduction to Symbolic Computation (PDF)
• Exemplos em LISP do livro (compactados em .zip)
• Exemplos em LISP do livro (em separado em código-fonte)
2. Manual de Referência do Common LISP
• Common Lisp - The Language - 2^nd Edition de Guy L. Steele Jr como Documentação On-Line HTML
• Common Lisp - The Language (Guy L. Steele Jr) (PDF)
3. Common Lisp Tutorial (PDF) 
4. Common Lisp Quick Reference (PDF) 
5. Association of Lisp Users
6. The Common Lisp Cookbook, MUITO BOM!!
7. Paul Graham's web page
8. Marty Hall's Introduction to Common Lisp 
9. CMU Common Lisp Repository 
10. Common Lisp Open Code Collection (CLOCC)
11. Common Lisp HyperSpec

1. Fontes de Paul Graham: On Lisp: Advanced Techniques for Common Lisp, Prentice Hall, 1994
2. Código MUITO bom genérico, mas bastante voltado para IA, da Brown University de Providence. Possui exemplos duplicados em C++, o que permite comparação entre códigos semanticamente equivalentes mas escritos em paradigmas diferentes.
3. Veja também nossos Links para Código Fonte e Documentação de Software de aplicações de Inteligência Artificial em LISP

1. FUNCTIONAL PROGRAMMING APPLICATION AND IMPLEMENTATION. PETER HENDERSON , PRENTICE HALL ISBN 13331579-7 
2. Applications of Functional Programming. Runciman, Colin; Wakeling, David (Ed.)  June 1995 Publisher UCL P
3. Functional Programming with Haskell . Hinchey, Michael G.; Jarvis, Stephen A. P. February 1997 Publisher McGraw.
4. Functional Programming with Miranda. Holyer, Ian. January 1992 Publisher UCL P
5. Introduction to Functional Programming. Bird, Richard; Wadler, Philip. March 1988 Publisher Prentice-Hall

Functional Programming Languages in Education: 1st International Symposium. Hartel, Pieter; Plasmeijer, Rinus (Ed.). November 1995. Publisher Springer-Verlag Series Lecture Notes in Computer Science S, v.1022