An introduction to differential linear logic: proof-nets, models and antiderivatives

From MaRDI portal
Publication:4577980

DOI10.1017/S0960129516000372zbMath1456.03097arXiv1606.01642OpenAlexW2409783831MaRDI QIDQ4577980

Thomas Ehrhard

Publication date: 7 August 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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




Related Items (19)


Uses Software


Cites Work


This page was built for publication: An introduction to differential linear logic: proof-nets, models and antiderivatives