12 citations · 18 across the 13 of their papers we have counts for
6 papers · 1 filter
Positive Topology and Feasible Refinement: Forcing Matrices, Positivity, and Information
Mirco A. Mannucci, Giovanni Sambin
We develop a conceptual and operational account of Positive Topology starting from a basic relation between points or models and observable properties. From this relation, two comp…
Ultraconstructive Model Theory via Bounded Adversarial Finite Structures
Mirco A. Mannucci
Ultraconstructive Model Theory (UCMT) replaces idealized satisfaction, at finite compu- tational scale, by bounded adversarial survival. A finite partial structure is tested by an…
Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
Mirco A. Mannucci, Corey Thuro
We extend resource-bounded type theory to Martin-Lof type theory (MLTT) with dependent types, enabling size-indexed cost bounds for programs over inductive families. We introduce a…
Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
Mirco A. Mannucci, Corey Thuro
We present a compositional framework for certifying resource bounds in typed programs. Terms are typed with synthesized bounds drawn from an abstract resource lattice, enabling uni…
Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetics
Mirco A. Mannucci, Rose M. Cherubin
This article is the first of an intended series of works on the model theory of Ultrafinitism. It is roughly divided into two parts. The first one addresses some of the issues rela…
Quantum Fuzzy Sets: Blending Fuzzy Set Theory and Quantum Computation
Mirco A. Mannucci
In this article we investigate a way in which quantum computing can be used to extend the class of fuzzy sets. The core idea is to see states of a quantum register as characteristi…