12 citations · 18 across the 13 of their papers we have counts for
14 papers
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…
Quantum Fuzzy Sets Revisited: Density Matrices, Decoherence, and the Q-Matrix Framework
Mirco A. Mannucci
In 2006 we proposed Quantum Fuzzy Sets, observing that states of a quantum register could serve as characteristic functions of fuzzy subsets, embedding Zadeh's unit interval into t…
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…
Solution Space Topology Guides CMTS Search
Mirco A. Mannucci
A fundamental question in search-guided AI: what topology should guide Monte Carlo Tree Search (MCTS) in puzzle solving? Prior work applied topological features to guide MCTS in AR…