### Lambda-cálculo 2017.2 - Eduardo Ochs

 ```Material para exercícios: http://angg.twu.net/LATEX/2017-2-LA-material.pdf Um artigo (relativamente) simples que nós vamos usar bastante: http://angg.twu.net/LATEX/2017planar-has.pdf http://angg.twu.net/LATEX/2017planar-has-1.pdf PDFs com todos os quadros: http://angg.twu.net/2017.2-LA/2017.2-LA.pdf (este semestre) http://angg.twu.net/2017.1-LA/2017.1-LA.pdf (semestre anterior) Fotos dos quadros: http://angg.twu.net/2017.2-LA/20170822_LA1.jpg http://angg.twu.net/2017.2-LA/20170822_LA2.jpg http://angg.twu.net/2017.2-LA/20170822_LA3.jpg http://angg.twu.net/2017.2-LA/20170822_LA4.jpg http://angg.twu.net/2017.2-LA/20170829_LA1.jpg http://angg.twu.net/2017.2-LA/20170829_LA2.jpg http://angg.twu.net/2017.2-LA/20170905_LA1.jpg http://angg.twu.net/2017.2-LA/20170905_LA2.jpg http://angg.twu.net/2017.2-LA/20170905_LA3.jpg http://angg.twu.net/2017.2-LA/20170912_LA1.jpg http://angg.twu.net/2017.2-LA/20170912_LA2.jpg http://angg.twu.net/2017.2-LA/20170912_LA3.jpg 19/set: não teve aula. http://angg.twu.net/2017.2-LA/20170926_LA1.jpg http://angg.twu.net/2017.2-LA/20171010_LA1.jpg http://angg.twu.net/2017.2-LA/20171010_LA2.jpg http://angg.twu.net/2017.2-LA/20171017_LA1.jpg 24/out: não teve aula (semana acadêmica) http://angg.twu.net/2017.2-LA/20171031_LA1.jpg http://angg.twu.net/2017.2-LA/20171031_LA2.jpg http://angg.twu.net/2017.2-LA/20171107_LA1.jpg http://angg.twu.net/2017.2-LA/20171121_LA1.jpg http://angg.twu.net/2017.2-LA/20171128_LA1.jpg http://angg.twu.net/2017.2-LA/20171128_LA2.jpg http://angg.twu.net/2017.2-LA/20171205_LA1.jpg http://angg.twu.net/2017.2-LA/20171205_LA2.jpg ```

Livros e artigos:
Awodey: Category Theory.
Emily Riehl: Category Theory in Context.
Barr and Wells, "Category Theory for Computing Science" (1998). Sugestão: olhe a seção 6.6, na p.215.
Paul Graham: The Roots of Lisp (PDF; original aqui).