PhD thesis,

On operational properties of quantitative extensions of λ-calculus.

.
University of Bologna, Italy, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews