Results 171 to 180 of about 11,768 (185)
Coherent Banach Spaces: a continuous denotational semantics extended abstract
, 1996 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
, 2008 Olivier Bouissou, Matthieu Martel
openalex +1 more source
Denotational Semantics of Evaluation Order in Expressions with Side Effects
, 2009 Nikolaos Papaspyrou
openalex +1 more source