Quick
index
main
eev
maths
blogme
dednat4
littlelangs
PURO
(GAC2,
λ, etc)
(Chapa 1)

emacs
lua
(la)tex
fvwm
tcl
forth
icon
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

Um livro: Barr and Wells, "Category Theory for Computing Science" (1998). Sugestão: olhe a seção 6.6, na p.215.