Probabilistic coherence spaces as a model of higher-order probabilistic computation
We study a probabilistic version of coherence spaces and show that these objects provide a
model of linear logic. We build a model of the pure lambda-calculus in this setting and show …
model of linear logic. We build a model of the pure lambda-calculus in this setting and show …
The Scott model of linear logic is the extensional collapse of its relational model
T Ehrhard - Theoretical Computer Science, 2012 - Elsevier
The Scott model of linear logic is the extensional collapse of its relational model Page 1
Theoretical Computer Science 424 (2012) 20–45 Contents lists available at SciVerse …
Theoretical Computer Science 424 (2012) 20–45 Contents lists available at SciVerse …
Quantitative semantics of the lambda calculus: Some generalisations of the relational model
CHL Ong - 2017 32nd Annual ACM/IEEE Symposium on Logic …, 2017 - ieeexplore.ieee.org
We present an overview of some recent work on the quantitative semantics of the λ-calculus.
Our starting point is the fundamental degenerate model of linear logic, the relational model …
Our starting point is the fundamental degenerate model of linear logic, the relational model …
What is a Categorical Model of the Differential and the Resource λ-Calculi?
G Manzonetto - Mathematical Structures in Computer Science, 2012 - cambridge.org
The differential λ-calculus is a paradigmatic functional programming language endowed
with a syntactical differentiation operator that allows the application of a program to an …
with a syntactical differentiation operator that allows the application of a program to an …
A relational semantics for parallelism and non-determinism in a functional setting
We recently introduced an extensional model of the pure λ-calculus living in a canonical
cartesian closed category of sets and relations (Bucciarelli et al.(2007)[6]). In the present …
cartesian closed category of sets and relations (Bucciarelli et al.(2007)[6]). In the present …
Exponentials with infinite multiplicities
Given a semi-ring with unit which satisfies some algebraic conditions, we define an
exponential functor on the category of sets and relations which allows to define a …
exponential functor on the category of sets and relations which allows to define a …
Semantic bound and multi types, revisited
B Accattoli - arxiv preprint arxiv:2311.18233, 2023 - arxiv.org
Intersection types are a standard tool in operational and semantical studies of the lambda
calculus. De Carvalho showed how multi types, a quantitative variant of intersection types …
calculus. De Carvalho showed how multi types, a quantitative variant of intersection types …
A computing machinery using a continuous memory tape
Y Oktar - arxiv preprint arxiv:2401.02420, 2023 - arxiv.org
By considering a discrete tape where each cell corresponds to an integer, thus to a possible
sum, a pseudo-polynomial solution can be given to subset sum problem, which is an NP …
sum, a pseudo-polynomial solution can be given to subset sum problem, which is an NP …
The resource lambda calculus is short-sighted in its relational model
F Breuvart - Typed Lambda Calculi and Applications: 11th …, 2013 - Springer
Relational semantics is one of the simplest and categorically most natural semantics of
Linear Logic. The co-Kleisli category MRel associated with its multiset exponential comonad …
Linear Logic. The co-Kleisli category MRel associated with its multiset exponential comonad …
A typed, algebraic, computational lambda-calculus
B Valiron - Mathematical Structures in Computer Science, 2013 - cambridge.org
Lambda-calculi with vectorial structures have been studied in various ways, but their
semantics remain largely uninvestigated. The main contribution of this paper is to provide a …
semantics remain largely uninvestigated. The main contribution of this paper is to provide a …