Course contents
#
What
Who
1
Category theory for computer science
D. Hoffman
2
Algebraic specification
M.A. Martins
3
Coalgebraic specification
L.S. Barbosa
4
Linear algebra of programming
J.N. Oliveira