Sfoglia per Autore
A Qualitative Modal Representation of Quantum Register Transformations
2008-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Lambda calculi and logics for quantum computing
2009-01-01 Zorzi, Margherita
On a Measurement-Free Quantum Lambda Calculus with Classical Control
2009-01-01 U., Dal Lago; Masini, Andrea; Zorzi, Margherita
General ramified recurrence is sound for polynomial time
2010-01-01 Dal Lago, U.; Martini, S.; Zorzi, Margherita
Quantum Implicit computational complexity
2010-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Confluence results for a quantum lambda calculus with measurements
2011-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Modal Deduction Systems for Quantum State Transformations
2011-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic
2012-01-01 Zorzi, Margherita; Aschieri, F.
Probabilistic Operational Semantics for the Lambda Calculus
2012-01-01 Zorzi, Margherita; DAL LAGO, U.
Non-determinism, non-termination and the strong normalization of System T
2013-01-01 F., Aschieri; Zorzi, Margherita
Quantum State Transformations and Branching Distributed Temporal Logic
2014-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
A "Game semantical" intuitionistic realizability validating Markov's principle
2014-01-01 F., Aschieri; Zorzi, Margherita
L’insegnamento dell'Informatica e i linguaggi di programmazione
2015-01-01 Boscaini, Maurizio; Solitro, Ugo; Zorzi, Margherita
Automagically Encoding Adverse Drug Reactions in MedDRA
2015-01-01 Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo
Wave-Style Token Machines and Quantum Lambda Calculi
2015-01-01 U., Dal Lago; Zorzi, Margherita
A Logical Framework for XML Reference Specification
2015-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
2016-01-01 Aschieri, Federico; Zorzi, Margherita
On Quantum Lambda Calculi: a Foundational Perspective
2016-01-01 Zorzi, Margherita
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics
2016-01-01 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita
Psychology of programming: The role of creativity, empathy and systemizing
2017-01-01 Pasini, M.; Solitro, U.; Brondino, M.; Burro, R.; Raccanello, D.; Zorzi, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile