The following pages link to Andrea Masini (Q1044835):
Displayed 39 items.
- (Q197393) (redirect page) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- 2-sequent calculus: A proof theory of modalities (Q1207545) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Contracting for technology improvement: the effect of asymmetric bargaining power and investment uncertainty (Q2030291) (← links)
- A logic for quantum register measurements (Q2306145) (← links)
- Confluence Results for a Quantum Lambda Calculus with Measurements (Q2825377) (← links)
- Back from the future (Q2901197) (← links)
- Proofs, tests and continuation passing style (Q2946570) (← links)
- (Q3024907) (← links)
- Labelled natural deduction for a bundled branching temporal logic (Q3103980) (← links)
- A History of Until (Q3185767) (← links)
- A note on unbounded metric temporal logic over dense time domains (Q3419667) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
- (Q3972532) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- An analysis of (linear) exponentials based on extended sequents (Q4221772) (← links)
- 2-Sequent Calculus: Intuitionism and Natural Deduction (Q4286223) (← links)
- A modal view of linear logic (Q4314678) (← links)
- A natural deduction system for bundled branching time logic (Q4583318) (← links)
- An infinitary variant of Metric Temporal Logic over dense time domains (Q4736752) (← links)
- A Way of Making World Quantification Explicit (Q4823802) (← links)
- (Q4842974) (← links)
- (Q4942005) (← links)
- From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics (Q5034227) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)
- A two‐dimensional metric temporal logic (Q5112385) (← links)
- (Q5389322) (← links)
- (Q5688812) (← links)
- Parsing MELL proof nets (Q5940925) (← links)
- Natural deduction calculi for classical and intuitionistic S5 (Q6172068) (← links)
- Cut Elimination for Extended Sequent Calculi (Q6200474) (← links)
- A two-dimensional metric temporal logic (Q6315586) (← links)