Coinductive Techniques on a Linear Quantum λ-Calculus
In this thesis, it is examined the issue of equivalence between linear terms in higher order languages, that is, in languages which allow to use functions as variables, and where variables which appear in the terms must be used exactly once. The work is developed focusing on the bisimulation meth...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | en |
| Published: |
Alma Mater Studiorum - Università di Bologna
2016
|
| Subjects: | |
| Online Access: | http://amsdottorato.unibo.it/7341/ |