Results 41 to 50 of about 246 (185)
Journal of the Royal Anthropological Institute, EarlyView.What does it take to turn a tool into a talking tool and that into an ultimate authority? Generative artificial intelligence (GenAI) in its diverse forms, such as large language models (LLMs), is celebrated as a useful tool. But LLM‐based conversational agents, or chatbots, the software applications through which ordinary users are likely to engage ...
Webb Keane
wiley +1 more source
The Many-Worlds Calculus [PDF]
Logical Methods in Computer ScienceIn this paper, we explore the interaction between two monoidal structures: a multiplicative one, for the encoding of pairing, and an additive one, for the encoding of choice.
Kostia Chardonnet +3 more
doaj +1 more source
Adventures in time and space [PDF]
Logical Methods in Computer Science, 2007 This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its first-order programs characterize the polynomial-time computable functions, and its
Norman Danner, James S. Royer
doaj +1 more source
The Denotational Semantics of SSA
CoRR95 pages, 38 figures, mechanization available at https://github.com/imbrem/debruijn-ssa/tree/toplas ...
Jad Elkhaleq Ghalayini +1 more
openaire +2 more sources
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
Transactions of the Philological Society, EarlyView.Abstract This paper investigates the role of semantic features of noun and adjective bases in determining the grammatical behaviour of Ancient Greek denominal and deadjectival verbs in *‐ye/o‐. The paper adopts a lexicalist framework (Rappaport Hovav & Levin 1998) and examines how the event schema, actionality, telicity and voice of derived verbs are ...
Carolina Marescotti
wiley +1 more source
Probabilistic modal {\mu}-calculus with independent product [PDF]
Logical Methods in Computer Science, 2012 The probabilistic modal {\mu}-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS's). Two equivalent semantics have been studied for this logic, both assigning to each state a value in the ...
Matteo Mio
doaj +1 more source
Modern Theology, EarlyView.Abstract Examining work by Rowan Williams, this essay explores what he often refers to as the ‘difficulty’ of writing theology. The difficulty of theology lies in engaging the ruse of having ultimate answers to ultimate questions. The stakes are high: ‘God‐talk’ must concern itself with truth, with reality.
Graham Ward
wiley +1 more source
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We define a domain-specific language (DSL) to inductively assemble flow networks from small networks or modules to produce arbitrarily large ones, with interchangeable functionally-equivalent parts.
Azer Bestavros, Assaf Kfoury
doaj +1 more source
How Many Worlds Could There Be? David Lewis and Advanced Modalizing
Analytic Philosophy, EarlyView.ABSTRACT Advanced modalizing, namely, possibilities and necessities concerning modal space itself, is problematic for a Lewis‐style analysis of modality. A popular solution, proposed by Divers, postulates explicit semantic clauses for a collapse of advanced modalizing, to the conclusion that all such matters are, if true in the first place, both ...
Lorenzo Azzano +2 more
wiley +1 more source