Daniele Turi
EPSRC Research Fellow @ LFCSLaboratory for Foundations of Computer Science
University of Edinburgh
The King's Buildings
Edinburgh EH9 3JZ
Scotland, UK
This is Daniele Turi's former home page. The current page is:
|
Daniele TuriEPSRC Research Fellow @ LFCSLaboratory for Foundations of Computer Science
|
| dt@inf.ed.ac.uk |
|
| Research Interests | Structural Operational Semantics
Coalgebras Abstract Syntax Concurrency Category Theory |
| Research Project |
Semantics of Name and Value Passing
(with M. Fiore)
Abstract Syntax and Variable Binding
Towards a
Mathematical Operational Semantics
Functorial
Operational Semantics and its Denotational Dual
Further Publications |
| Further Research | Fixpoint
Monads
(with M. Escardo) |
| Teaching | Category Theory
Semantics CS2 Tutoring |
| Supervision | Marco Kick |
| ftp | ftp://ftp.dcs.ed.ac.uk/pub/dt |