On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 477-530
- https://doi.org/10.1007/3-540-56596-5_45
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- I-categories and dualityPublished by Cambridge University Press (CUP) ,1992
- Computational comonads and intensional semanticsPublished by Cambridge University Press (CUP) ,1992
- Co-induction in relational semanticsTheoretical Computer Science, 1991
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Metric semantics for concurrencyBIT Numerical Mathematics, 1988
- Deadlock and fairness in morphisms of transition systemsTheoretical Computer Science, 1988
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Least fixed point of a functorJournal of Computer and System Sciences, 1979