Results 171 to 180 of about 11,543 (183)

Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics

Jonathan Sterling, Daniel Gratzer, Lars Birkedal, Aniello Murano, Alexandra Silva   +4 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

Language writ large: LLMs, ChatGPT, meaning, and understanding. [PDF]

Front Artif Intell
Harnad S.
europepmc   +1 more source