Journal article

Cofree coalgebras and differential linear logic

James Clift, Daniel Murfet

Mathematical Structures in Computer Science | CAMBRIDGE UNIV PRESS | Published : 2020

Abstract

AbstractWe prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras is also a model of differential linear logic, and that the Cartesian closed category of cofree coalgebras is a model of the simply typed differential λ-calculus.

University of Melbourne Researchers