Curry and Howard meet Borel
From MaRDI portal
Publication:6649480
DOI10.1145/3531130.3533361MaRDI QIDQ6649480
Paolo Pistone, Melissa Antonelli, Ugo Dal Lago
Publication date: 6 December 2024
Functional programming and lambda calculus (68N18) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An analysis of first-order logics of probability
- Combinatory logic. With two sections by William Craig.
- Lectures on the Curry-Howard isomorphism
- Games against nature
- Probabilistic logic
- The complexity of combinatorial problems with succinct input representation
- Some observations on the connection between counting and recursion
- Probabilistic quantifiers and games
- Semantics of probabilistic programs
- Bounded linear logic: A modular approach to polynomial-time computability
- A logic for reasoning about time and reliability
- A double category theoretic analysis of graded linear exponential comonads
- On measure quantifiers in first-order arithmetic
- Decomposing probabilistic lambda calculi
- Markov logic networks
- Probabilistic logic revisited
- Modal Intersection Types, Two-Level Languages, and Staged Synthesis
- A theory of effects and resources: adjunction models and polarised calculi
- Probabilistic Termination by Monadic Affine Sized Typing
- A modal analysis of staged computation
- Reasoning with time and chance
- The measure quantifier
- Computational types from a logical perspective
- Reasoning about knowledge and probability
- Monadic Second Order Logic with Measure and Category Quantifiers
- A decisive characterization of BPP
- Propositions as sessions
- Measure Quantifier in Monadic Second Order Logic
- The geometry of parallelism: classical, probabilistic, and quantum effects
- Probabilistic coherence spaces are fully abstract for probabilistic PCF
- Parametric effect monads and semantics of effect systems
- Bounded Linear Types in a Resource Semiring
- A Core Quantitative Coeffect Calculus
- Linear logic propositions as session types
- Bounded Linear Logic, Revisited
- On counting propositional logic and Wagner's hierarchy
This page was built for publication: Curry and Howard meet Borel
