Realizability and Computability
Publisher
Apple Academic Press
Reference252 articles.
1. ADJ-Goguen, J. A., Thatcher, J. W. Wagner, E. G., Wright, J. B. "Initial Algebra Semantics and Continuous Algebras," IBM Research Report RC5701, November 1975, JACM24, 1977, 68-95.