Domain-theoretic Foundations of Functional Programming (2006)

by Thomas Streicher
Citations:9 - 2 self