Results 71 to 80 of about 11,408 (204)
Facilitating modular property-preserving extensions of programming languages [PDF]
, 1998 We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on the core. Language features can be described separated from each other in
Pahl, Claus
core +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 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
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
A Metalanguage for Guarded Iteration
, 2018 Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves as a unifying ...
A Carboni +27 more
core +1 more source
Denotational Semantics with Nominal Scott Domains [PDF]
Journal of the ACM, 2014 When defining computations over syntax as data, one often runs into tedious issues concerning α -equivalence and semantically correct manipulations of binding constructs. Here we study a semantic framework in which these issues can be dealt with automatically by the programming language.
Lösch, Steffen, Pitts, Andrew M
openaire +2 more sources
What are particularistic pejoratives?
Mind &Language, Volume 41, Issue 2, Page 261-281, April 2026.Particularistic pejoratives (PPs) mock individuals based on their personal attributes yet lack a precise definition. This paper seeks to refine our understanding of PPs by examining their derogatory profiles across three dimensions: descriptiveness, intensity, and slurring potential.
Víctor Carranza‐Pinedo
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
McDowell and Sellars on Objective Purport
European Journal of Philosophy, Volume 34, Issue 1, Page 313-332, March 2026.Abstract John McDowell has criticized Wilfrid Sellars on several occasions and over a number of years for his ‘non‐relational’ account of intentionality. This account is, according to McDowell, at least partly responsible for a ‘blind spot’ in Sellars's thinking: Sellars, allegedly, fails to see how objects or states of affairs in the external world ...
Stefan Brandt
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