Title :
Domains and logics
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
The author´s discovery of domains and domain-theoretic models for the λ-calculus in 1969 is discussed, along with the research of others working in the area at that time
Keywords :
formal logic; λ-calculus; 1969; domain-theoretic models; domains; logics; Computer languages; Computer science; Finite element methods; Joining processes; Logic programming; Mathematics; Topology;
Conference_Titel :
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on
Conference_Location :
Pacific Grove, CA
Print_ISBN :
0-8186-1954-6
DOI :
10.1109/LICS.1989.39153
