Results 131 to 140 of about 228,658 (258)
A Denotational Semantics for the π-Calculus [PDF]
, 2001 Benjamin Aziz, Geoff Hamilton
openalex +1 more source
A Compositional Treatment of Polysemous Arguments in Categorial Grammar
, 1995 We discuss an extension of the standard logical rules (functional application and abstraction) in Categorial Grammar (CG), in order to deal with some specific cases of polysemy.
Buitelaar, Paul, Mineur, Anne-Marie
core +2 more sources
I-Semantics: Foundational Questions
Studia Semiotyczne, 2019 DOI: http://doi.org/10.26333/sts.xxxi2.05 What is the scope of a semantic theory consistent with the theoretical assumptions adopted by the generative program?
Adriano Marques da Silva
doaj
Denotational Semantics for Abadi and Leino’s Logic of Objects [PDF]
, 2005 Bernhard Reus, Jan Schwinghammer
openalex +1 more source
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
, 2021 Alexander K. Lew +2 more
openalex +2 more sources
Distributed measurement-based quantum computation
, 2005 We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because the network quantum state is in general entangled, we need to model it as
D'Hondt, Ellie +3 more
core +1 more source
A metalanguage for cost-aware denotational semantics
, 2022 Yue Niu, Robert Harper
openalex +2 more sources
Context Breeds False Memories for Indeterminate Sentences. [PDF]
Front Psychol, 2021 Riven L, de Almeida RG.
europepmc +1 more source
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
, 1982 Niels Damgaard Hansen, Kim Halskov
openalex +2 more sources
Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets
, 1985 Kurt Jensen, Erik M. Schmidt
openalex +2 more sources