![](/img/cover-not-exists.png)
Semantics for classical AUTOMATH and related systems
Henk Barendregt, Adrian RezusVolume:
59
Year:
1983
Language:
english
Pages:
21
DOI:
10.1016/s0019-9958(83)80033-3
File:
PDF, 713 KB
english, 1983