On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces

On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces (1998)

Cached

Download Links

[www.dcs.ed.ac.uk]

Other Repositories/Bibliography

DBLP

by Daniele Turi , Jan Rutten

Citations:

29 - 4 self

BibTeX

@MISC{Turi98onthe,
    author = {Daniele Turi and Jan Rutten},
    title = {On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces},
    year = {1998}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1182	A structural approach to operational semantics - Plotkin - 1981
598	Concurrency and automata on infinite sequences - Park - 1981
316	Basic concepts of enriched category theory - Kelly - 1982
261	An initial algebra approach to the specification, correctness, and implementation of abstract data types - Goguen, Thatcher, et al. - 1978
218	The lazy lambda calculus - Abramsky - 1990
182	Categories for the working mathematician, volume 5 of Graduate Texts - Lane
159	The Category-theoretic Solution of Recursive Domain Equations - Smyth, Plotkin - 1982
156	N.: A Final Coalgebra Theorem - Aczel, Mendler - 1989
122	G.: Towards a mathematical operational semantics - Turi, Plotkin - 1997
117	Terminal coalgebras in well-founded set theory - Barr - 1993
115	A domain equation for bisimulation - Abramsky - 1991
94	Metric spaces, generalized logic, and closed categories - Lawvere - 1974
89	Algebraically complete categories - Freyd - 1991
75	A Calculus of Communicating Systems, volume 92 of LNCS - Milner - 1980
65	Recursive types reduced to inductive types - Freyd - 1990
64	Solving reflexive domain equations in a category of complete metric spaces - America, Rutten - 1989
63	A : Basic Set Theory - Levy - 1979
62	Axiomatic Domain Theory in Categories of Partial Maps - Fiore - 1996
60	Remarks on algebraically compact categories - Freyd - 1991
53	Set-theory with free construction principles - Forti, Honsell - 1983
53	Functorial Operational Semantics and its Denotational Dual - Turi - 1996
52	Initial algebra and final coalgebra semantics for concurrency - Rutten, Turi - 1994
47	On the foundations of final semantics: Non-standard sets, metric spaces, partial orders - Rutten, Turi - 1993
41	Control Flow Semantics - Bakker, Vink - 1996
40	A Co-induction Principle for Recursively Defined Domains - Pitts - 1994
38	Non-well-founded Sets. Number 14 - Aczel - 1988
37	A coinduction principle for recursive data types based on bisimulation - Fiore - 1996
35	Elements of generalized ultrametric domain theory - Rutten
34	An Axiomatisation of Computationally Adequate Domain-Theoretic Models of FPC - Fiore, Plotkin - 1994
33	Quasi uniformities: reconciling domains with metric spaces - Smyth - 1987
32	G.: Bisimulation and open maps - Joyal, Nielsen, et al. - 1993
30	Temporal structures - Casley, Crew, et al. - 1991
24	Mathematics: Form and Function - Lane, S - 1986
24	Algebraic Theories, Volume 26 of Graduate Texts in Mathematics - Manes - 1976
20	Continuity spaces: reconciling domains and metric spaces - Flagg, Kopperman - 1995
20	Computational adequacy via ‘mixed’ inductive definitions - Pitts - 1994
18	Parametrized data types do not need highly constrained parameters - Arbib, Manes - 1982
16	Final universes of processes - Aczel - 1993
15	Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding - Breugel, Rutten - 1995
12	A concrete final coalgebra theorem for ZF set theory - Paulson - 1990
10	Final Semantics for untyped -calculus - Honsell - 1995
10	Algebraic set theory, volume 220 - Joyal, Moerdijk - 1995
8	Induction and coinduction via subset types and quotient types - Hermida, Jacobs - 1995
7	Categorical modeling of structural operational rules: case studies - Turi - 1997
6	An algebraic characterization of transition system equivalences - Arnold, Dicky - 1989
5	Constraint Logic Programming and the Unification of Information - Mukai - 1991
4	Semantics for Finite Delay - Hartonas - 1997
3	G.: The Greatest Fixed Points Approach to Data Types - Arbib, Manes - 1980
3	On compactness and Cpo-enriched categories - Fiore, Plotkin - 1992
3	Variable Quantities and Variable Structures in Topoi - Lawvere - 1976