E-Books durchsuchen
Mathematical Foundations of Programming Semantics [1986]
- 1
-
Standard, storeless semantics for ALGOL-style block structure and call-by-name
- 20
-
Cartesian closed categories, quasitopoi and topological universes
- 42
-
Concrete categories and injectivity
- 53
-
Fixed points in process algebras with internal actions
- 59
-
A fully abstract semantics and a proof system for an algol-like language with sharing
- 101
-
Comparing categories of domains
- 122
-
Galois connections
- 135
-
Retracts of SFP objects
- 149
-
Continuous categories
- 162
-
Free constructions of powerdomains
- 184
-
Additive domains
- 196
-
A topological framework for cpos lacking bottom elements
- 205
-
Detecting local finite breadth in continuous lattices and semilattices
- 215
-
On the variety concept for ω-continuous algebras. Application of a general approach
- 249
-
On denotational semantics of data bases
- 275
-
Postconditional semantics of data base queries
- 296
-
What is a model? A consumer's perspective on semantic theory
- 308
-
Modal theory, partial orders, and digital geometry
- 324
-
An FP domain with infinite objects
- 342
-
Union complete countable subset systems
- 357
-
On the syntax and semantics of concurrent computing