×

Partial types and intervals. (English) Zbl 0697.03005


MSC:

03B40 Combinatory logic and lambda calculus
68Q55 Semantics in the theory of computing
03B45 Modal logic (including the logic of norms)
68P05 Data structures
PDF BibTeX XML Cite
Full Text: DOI