Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Initiality, induction, and computability
Algebraic methods in semantics
Closure functions and general iterates as reflectors
Theoretical Computer Science
Iteration theories: the equational logic of iterative processes
Iteration theories: the equational logic of iterative processes
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
| Hi-index | 0.00 |