A coherent differential PCF

DOI10.46298/lmcs-19(4:7)2023arXiv2205.04109OpenAlexW4280552757MaRDI QIDQ6178673

Thomas Ehrhard

Publication date: 16 January 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.04109

zbMATH Keywords

linear logicproof theorycategory theory\(\lambda\)-calculusfunctional programming languagesdifferential \(\lambda\)-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Call-by-push-value: Decomposing call-by-value and call-by-name
• LCF considered as a programming language
• The differential lambda-calculus
• Differential structure, tangent structure, and SDG
• Acyclic Solos and Differential Interaction Nets
• The Free Exponential Modality of Probabilistic Coherence Spaces
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Full Abstraction for Probabilistic PCF
• Coherent differentiation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A coherent differential PCF