scientific article; zbMATH DE number 6131540
From MaRDI portal
Publication:4904081
zbMath1281.46061MaRDI QIDQ4904081
Christine Tasson, Thomas Ehrhard, Richard F. Blute
Publication date: 28 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (20)
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ A Simply Typed λ-Calculus of Forward Automatic Differentiation ⋮ Linear logic in normed cones: probabilistic coherence spaces and beyond ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Linearizing Combinators ⋮ Cartesian differential categories revisited ⋮ On Banach spaces of sequences and free linear logic exponential modality ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Cofree coalgebras and differential linear logic ⋮ Convenient antiderivatives for differential linear categories ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ The shuffle quasimonad and modules with differentiation and integration ⋮ Differential algebras in codifferential categories ⋮ Differential structure, tangent structure, and SDG ⋮ Exponential functions in Cartesian differential categories ⋮ Differential categories revisited ⋮ Affine geometric spaces in tangent categories ⋮ Jets and differential linear logic
This page was built for publication:
