Paolo Torrini
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Reasoning about modular datatypes with Mendler induction (available as arXiv preprint) | 2021-12-02 | Paper |
| Reasoning about modular datatypes with Mendler induction | 2021-12-02 | Paper |
| Towards an embedding of graph transformation in intuitionistic linear logic | 2021-02-09 | Paper |
| scientific article; zbMATH DE number 7308467 (Why is no real title available?) | 2021-02-09 | Paper |
| Modular dependent induction in Coq, Mendler-style Interactive Theorem Proving | 2016-10-27 | Paper |
| Linear types and locality Journal Of Logic And Computation | 2015-01-12 | Paper |
| Graph transformation for domain-specific discrete event time simulation Lecture Notes in Computer Science | 2010-10-04 | Paper |
| Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Research outcomes over time
This page was built for person: Paolo Torrini
