Results 191 to 200 of about 11,766 (228)

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, Daniel Gratzer, Lars Birkedal   +2 more
openalex   +2 more sources

Denotational Semantics of Shape:

Electronic Notes in Theoretical Computer Science, 1999
openaire   +1 more source

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