James Worrell  Home/Search
Context
Related
| web.comlab.ox.ac.uk/oucl/w...confirm.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.comlab.ox.ac.uk/oucl/work/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
0.5: Coinduction for recursive data types: partial orders, metric.. - Worrell (2000) (Correct)
0.3: Reasoning about Object Behaviours with Rewriting - Bouhoula, Jebali, Rusinowitch (1999) (Correct)
0.3: Logic in Software Conceptual Modeling - Wang (2001) (Correct)
Similar documents based on text: More All
1.1: A Comonadic Account of Behavioural Covarieties - Goldblatt (2002) (Correct)
1.0: On Tree Coalgebras and Coalgebra Presentations - Adamek, Porst (2002) (Correct)
0.9: Expressive Logics for Coalgebras via Terminal Sequence Induction - Pattinson (2002) (Correct)
BibTeX entry: (Update)
@misc{ worrell-coalgebras,
author = "James Worrell",
title = "On Coalgebras and Final Semantics: Progress Report",
url = "citeseer.ist.psu.edu/293491.html" }
Citations (may not include all citations):150 The category theoretic solution of recursive domain equation.. (context) - Smyth, Plotkin - 1992
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Ong - 1993
84 A domain equation for bisimulation (context) - Abramsky - 1991
67 Terminal coalgebras in well-founded set theory (context) - Barr - 1993
38 Information and control (context) - de Bakker, Zucker et al.
27 Accessible Categories: the Foundations of Categorical Model .. (context) - Makkai, Par - 1989
21 The temporal logic of coalgebras via galois algebras - Jacobs
20 A nal coalgebra theorem (context) - Aczel, Mendler - 1989
8 Solving re exive domain equations in a category of complete .. (context) - America, Rutten
7 Modal and tense predicate logic: models in presheaves and ca.. (context) - Ghilardi, Meloni - 1988
3 Department of Computer Science and Engineering (context) - Goguen, Malcolm et al.
2 A co-induction principle for recursively dened domains (context) - Pitts - 1994
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/james.worrell/): More
Terminal Sequences for Accessible Endofunctors - Nc To Rs (Correct)
A Note on Coalgebras, Presheaves and Modal Logic - Worrell (Correct)
Coinduction for recursive data types: partial orders, metric.. - Worrell (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC