Results 121 to 130 of about 230,502 (255)

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

Logic + probabilistic programming + causal laws. [PDF]

R Soc Open Sci, 2023
Belle V.
europepmc   +1 more source

The Denotational Semantics of SSA

94 pages, 38 figures, mechanization available at https://github.com/imbrem/debruijn-ssa/tree/toplas ...
Ghalayini, Jad Elkhaleq, Krishnaswami, Neel   +1 more
openaire   +2 more sources

A crisis of authority in scientific discourse. [PDF]

Cult Stud Sci Educ, 2021
Nichols MD, Petzold AM.
europepmc   +1 more source

A Denotational Semantics for the π-Calculus [PDF]

, 2001
Benjamin Aziz, Geoff Hamilton
openalex   +1 more source

Denotational semantics of ANSI C [PDF]

, 2001
Nikolaos Papaspyrou
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

CCSL denotational semantics

, 2014
The Clock Constraint Specification Language (CCSL) has been informally introduced in the specifications of the \uml Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In a previous report entitled ``Syntax and Semantics of the Clock Constraint Specification Language'', we equipped a kernel of CCSL with an operational semantics.
Deantoni, Julien, André, Charles, Gascon, Régis   +2 more
openaire   +1 more source