Coinductive Techniques on a Linear Quantum λ-Calculus

@inproceedings{Rioli2016CoinductiveTO,
  title={Coinductive Techniques on a Linear Quantum λ-Calculus},
  author={Alessandro Rioli},
  year={2016}
}
1 Citations
54 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…