Marie Kerjean

Available identifiers

zbMath Open kerjean.marieMaRDI QIDQ2289084

List of research outcomes

Publication	Date of Publication	Type
Unifying graded linear logic and differential operators	2024-10-21	Paper
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis	2022-11-09	Paper
A Logical Account for Linear Partial Differential Equations	2021-01-20	Paper
Higher-order distributions for differential linear logic	2020-01-28	Paper
Models of Linear Logic based on the Schwartz $\varepsilon$-product	2019-12-20	Paper
Mackey-complete spaces and power series – a topological model of differential linear logic	2018-03-09	Paper
Weak topologies for linear logic	2016-03-11	Paper

Research outcomes over time

This page was built for person: Marie Kerjean