Acções do Documento
Algebra, Coalgebra and Logic
| What | |
|---|---|
| When |
2008-02-12 from 14:30 to 18:30 |
| Where | DI, Braga, A1 |
| Add event to calendar |
vCal (Windows, Linux)
iCal (Mac OS X)
|
Seminário Temático MAP-I, por Marcello Bonsangue, Leiden University & CWI, Amsterdam
Algebra, Coalgebra and Logic
por Marcello Bonsangue, Leiden University & CWI, Amsterdam
Um "crash-course" de 4 horas em estruturas algébricas e coalgébricas em semântica da programação e lógicas associadas. A não perder.