![](/img/cover-not-exists.png)
A theory of primitive objects: Second-order systems
Martín Abadi, Luca CardelliVolume:
25
Year:
1995
Language:
english
Pages:
36
DOI:
10.1016/0167-6423(95)00010-0
File:
PDF, 2.04 MB
english, 1995