nLab Ugo Dal Lago

• webpage

Selected writings

On linear logic and quantum circuit diagrams:

• Ugo Dal Lago, Claudia Faggian, On Multiplicative Linear Logic, Modality and Quantum Circuits, EPTCS 95, 2012, pp. 55-66 (arXiv:1210.0613)

On (categorical semantics for) dynamic lifting in the quantum programming language “Quipper”:

• Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages [arXiv:2202.07636]

• Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting

  and Effect Typing in Circuit Description Languages, talk atTYPES Workshop, Nantes (2022) [pdf, pdf]

Related $n$Lab entries

• linear logic, linear type theory

• dependent linear type theory

• quantum computation

category: people