![](/img/cover-not-exists.png)
An Imperative Pure Calculus
Capriccioli, Andrea, Servetto, Marco, Zucca, ElenaVolume:
322
Language:
english
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2016.03.007
Date:
April, 2016
File:
PDF, 259 KB
english, 2016