A completeness result for a realisability semantics for an intersection type system

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A completeness result for a realisability semantics for an intersection type system'. Together they form a unique fingerprint.

INIS

Computer Science

Mathematics