Results 81 to 90 of about 2,907 (227)
Modularity in Denotational Semantics
Electronic Notes in Theoretical Computer Science, 1997 AbstractWe consider a modular approach to denotational semantics. We reformulate and extend the idea of monads as notions of computation to algebraic structure together with a construction of an extended semantic category. We show that upon making that reformulation, one can obtain some account of modularity, in particular accounting for the ...
openaire +1 more source
A Shallow Echo: Artificial Intelligence and the Semantic Flattening of the Qur'an
Learned Publishing, Volume 39, Issue 3, July 2026.ABSTRACT Scriptural Arabic relies on highly intentional word choices, employing apparent synonyms and near‐synonyms that convey distinct semantic values based on their specific textual placement. Historically, computational translation has struggled to reproduce these precise textual boundaries. Addressing this issue, the present investigation assesses
Ekrema Shehab
wiley +1 more source
Labelled transition systems as a Stone space [PDF]
Logical Methods in Computer Science, 2005 A fully abstract and universal domain model for modal transition systems and refinement is shown to be a maximal-points space model for the bisimulation quotient of labelled transition systems over a finite set of events.
Michael Huth
doaj +1 more source
The As and Bs of titi monkey linguistics: why emotional communication is not the enemy
Biological Reviews, Volume 101, Issue 3, Page 1479-1490, June 2026.ABSTRACT The alarm call sequences of titi monkeys (genera Plecturocebus, Callicebus and Cheracebus) have sparked important debates over whether they exhibit parallels with human language. Some researchers consider these sequences to involve both semantics and syntax, while others argue that the sequences convey semantic information without syntax.
Mélissa Berthet +2 more
wiley +1 more source
Towards a Denotational Semantics for Timed LOTOS
, 1995 The formal specification language LOTOS is an international standard for use in Open Systems Interconnection. A timed extension called ET-LOTOS has been proposed.
Schneider, Steve A. +11 more
core +1 more source
The Potential of Poetry in Sociolinguistics
Journal of Sociolinguistics, Volume 30, Issue 3, Page 348-352, June 2026.ABSTRACT Research in the field of sociolinguistics has taken a relational and artistic turn, as scholars have developed creative means of showing research findings. Drawing on relational ethics, we explore the capacity of art to reach beyond the indexical.
Angela Creese, Adrian Blackledge
wiley +1 more source
Game semantics for nominal exceptions [PDF]
, 2014 We present a fully abstract denotational model for a higher-order programming language combining call-by-value evaluation and local exceptions. The model is built using nominal game semantics and is the first one to achieve both effective presentability ...
Tzevelekos, Nikos +3 more
core +1 more source
Service-Oriented Logic Programming [PDF]
Logical Methods in Computer Science, 2015 We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj +1 more source
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
Program Semantics and Classical Logic [PDF]
, 1997 In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible.
Muskens, R.A. +2 more
core