Results 61 to 70 of about 246 (185)
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We investigate the possibility of a semantic account of the execution time (i.e. the number of beta-steps leading to the normal form, if any) for the shuffling calculus, an extension of Plotkin's call-by-value lambda-calculus.
Giulio Guerrieri
doaj +1 more source
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
Etymology and entomology: The semiotics and ethics of multispecies gene nomenclatures
Journal of Linguistic Anthropology, Volume 36, Issue 2, August 2026.Abstract This article examines controversies surrounding gene names that are perceived as humorous in the context of fruit flies but are considered rude in the clinical context of human medicine. Drawing on ethnographic fieldwork in insect laboratories, interviews with entomologists and geneticists, and an analysis of scientific and clinical ...
Colin M. E. Halverson
wiley +1 more source
Computing consensus: Language ideological work in LLM‐assisted deliberative democracy
Journal of Linguistic Anthropology, Volume 36, Issue 2, August 2026.Abstract This article examines how the digital platform Polis and its experiments with large language models (LLMs) reconfigure democratic participation through a particular vision of consensus. Through analysis of media coverage of Polis and developers' public discussions of the platform, I argue that developers reframe consensus from a discursive ...
Janet E. Connor
wiley +1 more source
Abstract Hidden Markov Models: a monadic account of quantitative information flow [PDF]
Logical Methods in Computer Science, 2019 Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joint-probability distributions.
Annabelle McIver +2 more
doaj +1 more source
Operational and denotational semantics of prolog
The Journal of Logic Programming, 1987 A Vienna Definition Language operational semantics of PROLOG, which includes the cut, the database, and the extra-logical operations, is presented. This semantics serves as the basis for deriving a denotational-continuation-style semantics of PROLOG through a systematic transformation of the operational semantics by a method described by Berry.
Bijan Arbab, Daniel M. Berry
openaire +1 more source
Beyond Words: Addressing Ethical Issues in Clinical Documentation through Medical Education
Hastings Center Report, Volume 56, Issue 4, Page 12-18, July–August 2026.Abstract Stigmatizing language in medical documentation is a barrier to achieving patient‐centered care and health justice: it can contribute to patient distrust and alienation, and it appears more frequently in the charts of patients from marginalized groups, especially Black patients, impacting the future care they receive.
Danielle Wilfand, Lindsey Grubbs
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
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
Programming Denotational Semantics II [PDF]
The Computer Journal, 1985 The Denotational Semantics of a small programming language is coded into Algol-68 to give an interpreter. The Semantics incorporates many of the notions of Standard Semantics including declarations, declaration continuations, final answers and stores or memory which are used to define block structuring, output and parameterless procedures. This extends
openaire +2 more sources