Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)
emacs
lua
(la)tex
maxima
 qdraw
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact
☿

Lambda-cálculo 2017.2 - Eduardo Ochs

Salas, horários, etc
Página do semestre anterior
Ementa, programa e bibliografia 

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).