Paper: The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains (at LICS 1986)
Authors: Carl A. GunterAbstract
No Abstract Available
BibTeX
@InProceedings{Gunter-TheLargestFirstOrde, author = {Carl A. Gunter}, title = {The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {142--148}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }