𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on subject reduction in (→,∃)-Curry with respect to complete developments

✍ Scribed by Schubert, Aleksy; Fujita, Ken-etsu


Book ID
122109968
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
199 KB
Volume
114
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES