Cover Image

A coherent differential PCF

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ehrhard, Thomas
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Differential Linear Logic to Coherent Differentiation
by: Ehrhard, Thomas
Published: (2024)

Integration in Cones
by: Ehrhard, Thomas, et al.
Published: (2022)

Coherent Taylor expansion as a bimonad
by: Ehrhard, Thomas, et al.
Published: (2023)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
by: Ehrhard, Thomas, et al.
Published: (2024)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
by: Di Guardia, Rémi, et al.
Published: (2026)

A Fully Abstract Model of PCF Based on Extended Addressing Machines
by: Intrigila, Benedetto, et al.
Published: (2023)

Hybrid Intersection Types for PCF (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2024)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
by: Endo, Ryunosuke, et al.
Published: (2025)

Comparing differentiable logics for learning with logical constraints
by: Flinkow, Thomas, et al.
Published: (2024)

Observation algebras: Heyting algebra over coherence spaces
by: Brunet, Paul
Published: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Higher order differential calculus in mathlib
by: Gouëzel, Sébastien
Published: (2025)

Compositional Taylor expansion in cartesian differential categories
by: Walch, Aymeric
Published: (2025)

Internship report: Coherent differentiation in models of Linear Logic
by: Walch, Aymeric
Published: (2024)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

Extracting an $\mathbb{N}$-filtered differential modality from a differential modality
by: Vienney, Jean-Baptiste
Published: (2026)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024)