Dissertação de mestrado Acesso aberto

Metric λ‑calculus with conditionals: quantum, probabilities and beyond