Topics

Notice

20 Oct tinynew.gif Slides prepared for days 9-Oct + 16-Oct (8 h) already available: (109 slides)

26 Sep Slides prepared for the first two days, 8 hours (25-Set + 2-Oct) already available: (128 slides)

18 Sep Lectures to start next week (25th Sep). Please note that the course schedule is subject to change!

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

r1 - 23 Oct 2013 - 10:33:38 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM