Results 171 to 180 of about 11,768 (185)
Coherent Banach Spaces: a continuous denotational semantics extended abstract
Jean-Yves Girard
openalex +1 more source
Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics
Jonathan Sterling +2 more
openalex +2 more sources
A Hybrid Denotational Semantics for Hybrid Systems -- Extended Version
Olivier Bouissou, Matthieu Martel
openalex +1 more source
Denotational Semantics of Evaluation Order in Expressions with Side Effects
Nikolaos Papaspyrou
openalex +1 more source

