• DocumentCode
    2597001
  • Title

    Domains and logics

  • Author

    Scott, Dana S.

  • Author_Institution
    Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
  • fYear
    1989
  • fDate
    5-8 Jun 1989
  • Firstpage
    4
  • Lastpage
    5
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/LICS.1989.39153
  • Filename
    39153
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2597001