The following pages link to Andrea Masini (Q1044835):
Displaying 7 items.
- Quantum implicit computational complexity (Q1044836) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← 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)
- From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics (Q5034227) (← links)
