Francesco Dagnino

Available identifiers

zbMath Open dagnino.francescoMaRDI QIDQ2988631

List of research outcomes

Publication	Date of Publication	Type
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad	2023-09-13	Paper
A Java-like calculus with heterogeneous coeffects	2023-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q6099600	2023-06-20	Paper
Deconfined Global Types for Asynchronous Sessions	2023-03-22	Paper
Soundness Conditions for Big-Step Semantics	2022-10-13	Paper
Doctrines, modalities and comonads	2022-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5028421	2022-02-09	Paper
Quantitative Equality in Substructural Logic via Lipschitz Doctrines	2021-10-11	Paper
Flexible coinductive logic programming	2020-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q3121528	2019-03-18	Paper
Generalizing Inference Systems by Coaxioms	2017-05-19	Paper
Cauchy-completions and the rule of unique choice in relational doctrines	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesco Dagnino