On Coalgebras and Final Semantics: Progress Report
by
James Worrell
BibTeX
@MISC{Worrell_oncoalgebras,
author = {James Worrell},
title = {On Coalgebras and Final Semantics: Progress Report},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This report summarises research undertaken by the author as part of his DPhil in computation. A draft table of contents of the thesis, a proposed timetable for submission, and a list of publications are also included.
Citations
| 156 | N.: A Final Coalgebra Theorem - Aczel, Mendler - 1989 |
| 117 | Terminal coalgebras in well-founded set theory - Barr - 1993 |
| 115 | A domain equation for bisimulation - Abramsky - 1991 |
| 104 | A Hidden Agenda - Goguen, Malcolm - 2000 |
| 78 | Denotational semantics of concurrency - Bakker, Zucker - 1982 |
| 57 | Accessible categories: The foundations of categorical model theory - Makkai, Paré - 1989 |
| 33 | The temporal logic of coalgebras via Galois algebras - Jacobs - 1999 |
| 33 | The category theoretic solution of recursive domain equations - Smyth, Plotkin - 1982 |
| 12 | Modal and tense predicate logic: models in presheaves and categorical conceptualization - Ghilardi, Meloni - 1988 |
| 8 | Solving re domain equations in a category of complete metric spaces - America, Rutten - 1989 |
| 4 | Full abstraction in the lazy lambda calculus. Inform. and Comput - Abramsky, Ong - 1993 |
| 2 | A coinduction principle for recursively de domains - Pitts - 1994 |
| 1 | Liminf convergence in 25511-2711 Theoretical computer science - Wagner - 1996 |
