| Report
| Date
| Title
|
| EDI-INF-RR-1054
| Jul 2007
| Relational parametricity for computational effects
|
| EDI-INF-RR-1053
| Apr 2007
| A convenient category of domains
|
| EDI-INF-RR-0931
| Jul 2002
| Comparing Functional Paradigms for Exact Real-number Computation
|
| EDI-INF-RR-0886
| Apr 2006
| Compactly generated domain theory
|
| EDI-INF-RR-0624
| 2003
| An equational notion of lifting monad
|
| EDI-INF-RR-0611
| 2003
| Towards a convenient category of topological domains
|
| EDI-INF-RR-0608
| 2004
| Sequent-calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
|
| EDI-INF-RR-0607
| 2004
| Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory
|
