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

emacs
lua
(la)tex
fvwm
tcl
forth
icon
debian
irc
contact

Optativa: Lambda-cálculo e Lógicas, 2017.1 - Eduardo Ochs

PDFs com todos os quadros:
http://angg.twu.net/2017.1-LA/2017.1-LA.pdf (este semestre)
http://angg.twu.net/2016.2-LA/2016.2-LA.pdf (semestre anterior)
Material para exercícios:
http://angg.twu.net/LATEX/2017-1-LA-material.pdf (este semestre)
Semestre anterior:
http://angg.twu.net/LATEX/2016-2-LA-lambda.pdf
http://angg.twu.net/LATEX/2016-2-LA-cats.pdf
http://angg.twu.net/LATEX/2016-2-LA-logic.pdf
http://angg.twu.net/LATEX/2016-2-LA-zhas.pdf
Fotos dos quadros:
http://angg.twu.net/2017.1-LA/20170328_LA1.jpg
http://angg.twu.net/2017.1-LA/20170328_LA2.jpg
http://angg.twu.net/2017.1-LA/20170328_LA3.jpg
  4/abril/2017: não teve aula (provas de monitoria)
http://angg.twu.net/2017.1-LA/20170411_LA1.jpg
http://angg.twu.net/2017.1-LA/20170411_LA2.jpg
http://angg.twu.net/2017.1-LA/20170411_LA3.jpg
http://angg.twu.net/2017.1-LA/20170411_LA4.jpg
http://angg.twu.net/2017.1-LA/20170411_LA5.jpg
http://angg.twu.net/2017.1-LA/20170418_LA1.jpg
http://angg.twu.net/2017.1-LA/20170418_LA2.jpg
http://angg.twu.net/2017.1-LA/20170425_LA1.jpg
http://angg.twu.net/2017.1-LA/20170425_LA2.jpg
http://angg.twu.net/2017.1-LA/20170425_LA3.jpg
http://angg.twu.net/2017.1-LA/20170425_LA4.jpg
http://angg.twu.net/2017.1-LA/20170502_LA1.jpg
http://angg.twu.net/2017.1-LA/20170502_LA2.jpg
  Em 9 de maio não teve aula - eu estava num
  congresso: http://angg.twu.net/math-b.html#ebl-2017
http://angg.twu.net/2017.1-LA/20170606_LA1.jpg
http://angg.twu.net/2017.1-LA/20170606_LA2.jpg
http://angg.twu.net/2017.1-LA/20170606_LA3.jpg
http://angg.twu.net/2017.1-LA/20170613_LA1.jpg
http://angg.twu.net/2017.1-LA/20170613_LA2.jpg
http://angg.twu.net/2017.1-LA/20170620_LA1.jpg
http://angg.twu.net/2017.1-LA/20170620_LA2.jpg
http://angg.twu.net/2017.1-LA/20170627_LA1.jpg
http://angg.twu.net/2017.1-LA/20170627_LA2.jpg
http://angg.twu.net/2017.1-LA/20170704_LA1.jpg
http://angg.twu.net/2017.1-LA/20170704_LA2.jpg
Página do semestre anterior:
http://angg.twu.net/2016.2-LA.html

Artigos e livros:
http://homepages.inf.ed.ac.uk/wadler/topics/history.html#propositions-as-types
http://angg.twu.net/tmp/2016-optativa/awodey__category_theory.pdf
http://angg.twu.net/tmp/2016-optativa/maclane_cwm_springer_2nd_ed.pdf