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