Mackey-complete spaces and power series โ a topological model of differential linear logic
Mackey-complete spaces and power series โ a topological model of differential linear logic
In this paper, we describe a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted as bounded linear functions. So as to interpret non-linear proofs of Linear Logic, we use a notion of power โฆ