Complete cuboidal sets in Axiomatic Domain Theory

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 268-279

  Fiore, Marcelo ^a   Plotkin, Gordon ^a   Power, John ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; SET THEORY;

AXIOMATIC DOMAIN THEORY (ADT); CUBOIDAL SETS;

FORMAL LOGIC;

EID: 0030652414     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (42)