DOI10.1007/978-3-030-17127-8_19OpenAlexW2908220729MaRDI QIDQ2289085
Jean-Simon Pacaud Lemay, Marie Kerjean
Publication date: 28 January 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_19
zbMATH Keywords
topological vector spacescategorical semanticsdifferential linear logic
Mathematics Subject Classification ID
Theory of computing (68Qxx) Theory of software (68Nxx)