Domain-Theoretic Foundations of Functional Programming - Streicher Thomas Et Al (World Scientific, 2006)
Keywords: Computer Science