Results 71 to 80 of about 11,766 (228)
On phase semantics and denotational semantics: the exponentials
Annals of Pure and Applied Logic, 2001 An indexed version of propositional linear logic with exponentials is defined together with a sequent calculus for this system. To a formula \(A\) of indexed linear logic are associated: an underlying formula \(\underline{A}\) of linear logic, an interpretation \(|\underline{A}|\) of this formula in the category of sets and relations, and a family ...
Ehrhard, Thomas, Bucciarelli, Antonio
openaire +2 more sources
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.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
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
Where Mathematical Symbols Come From
Topics in Cognitive Science, EarlyView.Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source
Language machines: Toward a linguistic anthropology of large language models
Journal of Linguistic Anthropology, Volume 36, Issue 1, May 2026.Abstract Large language models (LLMs) challenge long‐standing assumptions in linguistics and linguistic anthropology by generating human‐like language without relying on rule‐based structures. This introduction to the special issue Language Machines calls for renewed engagement with LLMs as socially embedded language technologies.
Siri Lamoureaux +2 more
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
Recurrence extraction and denotational semantics with recursive definitions [PDF]
, 2022 Norman Danner
openalex +1 more source
The Journal of Engineering, Volume 2026, Issue 1, January/December 2026.ABSTRACT Workload pressure, examination stress, family responsibilities, and a variety of other factors all contribute to an increase in stress in the body. Stress weakens the human mind and body by accelerating several health disorders. Therefore, the number of approaches for early projection of stress plays a vital role in the healthcare sector ...
Srabanti Maji +8 more
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
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