Marie Kerjean

Chiralities in topological vector spaces

2019

Differential Linear Logic extends Linear Logic by allowing the differentiation of proofs. Trying to interpret this proof-theoretical notion of differentiation by traditional analysis, one faces the fact that analysis badly accommodates with the very basic …