The Largest First-Order Axiomatizable Cartesian Closed Category of Domains
Carl A. Gunter
IEEE Symposium on Logic in Computer Science (LICS ’86), pages 142-148, Cambridge, MA, June 1986. [BIB]
Last updated on Thursday, June 26, 2014, 12:45 pm
The Largest First-Order Axiomatizable Cartesian Closed Category of Domains
Carl A. Gunter
IEEE Symposium on Logic in Computer Science (LICS ’86), pages 142-148, Cambridge, MA, June 1986. [BIB]
Last updated on Thursday, June 26, 2014, 12:45 pm