Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 44
Titolo Data di pubblicazione Autore(i) File
A Qualitative Modal Representation of Quantum Register Transformations 1-gen-2008 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Lambda calculi and logics for quantum computing 1-gen-2009 Zorzi, Margherita
On a Measurement-Free Quantum Lambda Calculus with Classical Control 1-gen-2009 U., Dal Lago; Masini, Andrea; Zorzi, Margherita
General ramified recurrence is sound for polynomial time 1-gen-2010 Dal Lago, U.; Martini, S.; Zorzi, Margherita
Quantum Implicit computational complexity 1-gen-2010 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Confluence results for a quantum lambda calculus with measurements 1-gen-2011 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Modal Deduction Systems for Quantum State Transformations 1-gen-2011 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 1-gen-2012 Zorzi, Margherita; Aschieri, F.
Probabilistic Operational Semantics for the Lambda Calculus 1-gen-2012 Zorzi, Margherita; DAL LAGO, U.
Non-determinism, non-termination and the strong normalization of System T 1-gen-2013 F., Aschieri; Zorzi, Margherita
Quantum State Transformations and Branching Distributed Temporal Logic 1-gen-2014 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
A "Game semantical" intuitionistic realizability validating Markov's principle 1-gen-2014 F., Aschieri; Zorzi, Margherita
L’insegnamento dell'Informatica e i linguaggi di programmazione 1-gen-2015 Boscaini, Maurizio; Solitro, Ugo; Zorzi, Margherita
Automagically Encoding Adverse Drug Reactions in MedDRA 1-gen-2015 Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo
Wave-Style Token Machines and Quantum Lambda Calculi 1-gen-2015 U., Dal Lago; Zorzi, Margherita
A Logical Framework for XML Reference Specification 1-gen-2015 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 1-gen-2016 Aschieri, Federico; Zorzi, Margherita
On Quantum Lambda Calculi: a Foundational Perspective 1-gen-2016 Zorzi, Margherita
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 1-gen-2016 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita
Psychology of programming: The role of creativity, empathy and systemizing 1-gen-2017 Pasini, M.; Solitro, U.; Brondino, M.; Burro, R.; Raccanello, D.; Zorzi, M.
Mostrati risultati da 1 a 20 di 44
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