Cofree coalgebras and differential linear logic — mentioned by dmurfet

Mon, 29 Jan 2018 10:41:42 GMT

Author here. The theoretical background can be found in: https://arxiv.org/abs/1407.2650 https://arxiv.org/abs/1701.01285 http://therisingsea.org/notes/MScThesisJamesClift.pdf As neel_k notes, a good way to understand this picture is in terms of differential linear logic (a refinement of simply-typed differential lambda calculus). I did not provide references in the talk as unfortunately I did not understand the subject at the time, but the introduction to the second paper above hopefully serves to remedy that omission. Suffice to day that Ehrhard and Regnier discovered something quite…

Paper and discussion history. A mention is not an endorsement.

Cofree coalgebras and differential linear logic · HackerPapers discussions

Cofree coalgebras and differential linear logic — mentioned by dmurfet