Categorical Models for Simply Typed Resource Calculi

DOI10.1016/j.entcs.2010.08.013zbMath1342.68048MaRDI QIDQ3178254

Antonio Bucciarelli, Giulio Manzonetto, Thomas Ehrhard

Publication date: 8 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.08.013

zbMATH Keywords

relational models; differential categories; differential \(\lambda\)-calculus; resource calculus

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

18B10: Categories of spans/cospans, relations, or partial maps

Related Items

Jets and differential linear logic, Unnamed Item, Categorical models of the differential λ-calculus, Linearizing Combinators, Cofree coalgebras and differential linear logic, Models of Linear Logic based on the Schwartz $\varepsilon$-product, Unnamed Item, Cartesian differential categories as skew enriched categories, Categorical models of the differential \(\lambda\)-calculus revisited, Differential structure, tangent structure, and SDG, What is a categorical model of the differential and the resource λ-calculi?, Constructing Differential Categories and Deconstructing Categories of Games, A Simply Typed λ-Calculus of Forward Automatic Differentiation

Cites Work

• Unnamed Item
• Unnamed Item
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Normal functors, power series and \(\lambda\)-calculus
• The differential lambda-calculus
• Differential categories
• Not Enough Points Is Enough
• Confluence of Pure Differential Nets with Promotion
• Finiteness spaces
• Logical Approaches to Computational Barriers