Complete axioms for categorical fixed-point operators

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 30-41

  Simpson, Alex ^a   Plotkin, Gordon ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; DATA STRUCTURES; EQUIVALENCE CLASSES; ITERATIVE METHODS;

CATEGORICAL FIXED POINT OPERATORS; ITERATION OPERATORS; MULTISORTED FIXED POINT TERMS;

THEOREM PROVING;

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

References (33)