TY  - BOOK
AU  - Streicher Thomas Et Al
TI  - Domain-Theoretic Foundations of Functional Programming
SN  - 9789812772596
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/6284#t=toc
ER  -