/
Browsing by Author Dinis, Bruno
Showing results 9 to 15 of 15
Issue Date | Title | Author(s) | 2023 | Hardwiring truth in functional interpretations | Dinis, Bruno; Gaspar, Jaime |
2019 | Neutrices and External Numbers A Flexible Number System | Dinis, Bruno; Berg, Imme van den |
20-Nov-2022 | On the nature of natural numbers | Dinis, Bruno |
2017 | On the quotient class of non-archimedean fields | Dinis, Bruno; van den Berg, Imme |
Apr-2023 | Stateful Realizers for Nonstandard Analysis | Dinis, Bruno; Miquey, Étienne |
2023 | Strong convergence for the alternating Halpern-Mann iteration in CATp0q spaces | Dinis, Bruno; Pinto, Pedro |
2022 | The Halpern-Mann iteration in CAT(0) spaces. | Dinis, Bruno |
Showing results 9 to 15 of 15
|