๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Inductively defined functions in functional programming languages

โœ Scribed by R.M. Burstall


Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
646 KB
Volume
34
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES