Roberta Bonacina
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 |
|---|---|---|
| A formal approach to Menger's theorem Reports on Mathematical Logic | 2022-12-15 | Paper |
| An Ad-Hoc Semantics to Study Structural Properties of Types Proof and Computation II | 2022-06-17 | Paper |
| Ribenboim's order extension theorem from a constructive point of view Algebra Universalis | 2019-12-27 | Paper |
| Well quasi orders in a categorical setting Archive for Mathematical Logic | 2019-03-27 | Paper |
Research outcomes over time
This page was built for person: Roberta Bonacina
