Pages that link to "Item:Q4577980"

The following pages link to An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980):

Displaying 24 items.

• Cartesian differential categories as skew enriched categories (Q825992) (← links)
• Differential algebras in codifferential categories (Q2001387) (← links)
• Exponential functions in Cartesian differential categories (Q2035864) (← links)
• Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
• Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
• (Q4611381) (← links)
• Jets and differential linear logic (Q4988427) (← links)
• (Q5018489) (← links)
• (Q5020625) (← links)
• (Q5028444) (← links)
• (Q5079739) (← links)
• (Q5089018) (← links)
• (Q5101335) (← links)
• (Q5101336) (← links)
• Encodings of Turing machines in linear logic (Q5139286) (← links)
• Cofree coalgebras and differential linear logic (Q5139287) (← links)
• (Q5155686) (← links)
• Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
• (Q5227520) (← links)
• Coherent differentiation (Q6149933) (← links)
• Safe session-based concurrency with shared linear state (Q6535247) (← links)
• Stabilized profunctors and stable species of structures (Q6563041) (← links)
• A functorial excursion between algebraic geometry and linear logic (Q6649501) (← links)
• A deep inference system for differential linear logic (Q6657782) (← links)