Results 81 to 90 of about 11,543 (183)

Languages Without Tense

Language and Linguistics Compass, Volume 19, Issue 4, July/August 2025.
ABSTRACT Within formal semantics, languages with no exponent of tense, or with optional tense, have begun to be incorporated into the theory of temporality only in the last couple decades. This article traces the development of their study, identifying empirical arguments that arbitrate between competing analyses of tenselessness.
Maziar Toosarvandani
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  

The agentive achievement of acceptance

Philosophy and Phenomenological Research, Volume 111, Issue 1, Page 3-24, July 2025.
Abstract Is acceptance an act or a state? Jonathan Cohen is often seen as a proponent of the view that acceptance is a mental act. In contrast, Michael Bratman claims that acceptance is a mental state. This paper argues that the evidence supports a more subtle approach.
Samuel Boardman
wiley   +1 more source

Aboutness and universal generalization

Philosophy and Phenomenological Research, Volume 111, Issue 1, Page 325-342, July 2025.
Abstract We motivate and present a novel semantic theory for universal generalizations (‘every A$A$ is a B$B$’), contributing to a growing theoretical line that gives equal prominence to subject matter and truth conditions when modelling propositional content.
Peter Hawke
wiley   +1 more source

Disentangling Parallelism and Interference in Game Semantics [PDF]

Logical Methods in Computer Science
Game 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

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, Danos, Vincent, Kashefi, Elham, Panangaden, Prakash   +3 more
core   +1 more source

From standard to implementation denotational semantics [PDF]

, 1980
Martin R. Raskovsky, P.A. Collier
openalex   +1 more source

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

Semantic Variability of the Word ‘Creature’ in Elizabethan Prose Fiction [PDF]

Acta Universitatis Sapientiae: Philologica
The present research focuses on the exploration of the meaning of the word ‘creature’ in the context of Elizabethan prose fiction. The inherent vagueness and ambiguity of the lexeme ‘creature’, comprising diverse meanings, yields its multiple readings
Liudmyla Hryzhak
doaj   +1 more source

Denotational semantics as a foundation for cost recurrence extraction for functional languages [PDF]

, 2022
Norman Danner, Daniel R. Licata
openalex   +1 more source