Results 111 to 120 of about 228,658 (258)
Disentangling Parallelism and Interference in Game Semantics [PDF]
Logical Methods in Computer ScienceGame semantics is a denotational semantics presenting compositionally the computational behaviour of various kinds of effectful programs. One of its celebrated achievement is to have obtained full abstraction results for programming languages with a ...
Simon Castellan, Pierre Clairambault
doaj +1 more source
Conjoined Comparison and Variation in Degree Semantics
Language and Linguistics Compass, Volume 19, Issue 4, July/August 2025.ABSTRACT Conjoined comparisons, consisting of two clauses containing antonymous or positive‐negative predicate pairs, are among the most common comparison construction types in the world's languages. As research on degree constructions from a cross‐linguistic perspective has increased, so too has the number of studies focused on conjoined comparisons ...
M. Ryan Bochnak
wiley +1 more source
Facilitating modular property-preserving extensions of programming languages [PDF]
, 1998 We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in
Pahl, Claus
core +1 more source
Leveraging Context for Perceptual Prediction Using Word Embeddings
Cognitive Science, Volume 49, Issue 6, June 2025.Abstract Word embeddings derived from large language corpora have been successfully used in cognitive science and artificial intelligence to represent linguistic meaning. However, there is continued debate as to how well they encode useful information about the perceptual qualities of concepts.
Georgia‐Ann Carter +2 more
wiley +1 more source
An algebraic basis for specifying and enforcing access control in security systems [PDF]
, 2000 Security services in a multi-user environment are often based on access control mechanisms. Static aspects of an access control policy can be formalised using abstract algebraic models.
Pahl, Claus
core
How the Rejection of Incompatible Speech Acts Transforms Human Cognition
European Journal of Philosophy, Volume 33, Issue 2, Page 514-530, June 2025.Abstract Engaging with the literature on transformative conceptions of rationality, I argue for the following position on the way reason transforms human cognition: when the capacity for knowing that one ought to do something is directed at one's own speech acts, an initially domain‐specific and practical grasp of genus/species relations – manifest in ...
Preston Stovall
wiley +1 more source
ETHICS FOR ARTIFICIAL HISTORIANS
History and Theory, Volume 64, Issue 2, Page 159-177, June 2025.ABSTRACT Artificial historians do not need to have intentions to complete actions or to solve problems. Consequently, a revised approach to the ethics of history is needed. An approach to ethics for artificial historians can be proposed through the recognition of historiographical logic, which is a hybrid of modal, propositional, and erotetic (question‐
Marnie Hughes‐Warrington
wiley +1 more source
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs [PDF]
, 2014 We extract a novel quantum programming paradigm - superposition of programs - from the design idea of a popular class of quantum algorithms, namely quantum walk-based algorithms.
Feng, Yuan, Ying, Mingsheng, Yu, Nengkun
core
Decorated proofs for computational effects: Exceptions
, 2012 We define a proof system for exceptions which is close to the syntax for exceptions, in the sense that the exceptions do not appear explicitly in the type of any expression.
Dumas, Jean-Guillaume +3 more
core +1 more source
A constructive denotational semantics for Kahn networks in Coq
, 2009 Semantics of programming languages and interactive environments for the development of proofs and programs are two important aspects of Gilles Kahn's scientific contributions.
Christine Paulin-Mohring
semanticscholar +1 more source