Realizability models for a linear dependent PCF

Aloïs Brunel, Marco Gaboardi (Lead / Corresponding author)

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Realizability models for a linear dependent PCF'. Together they form a unique fingerprint.

Computer Science

Mathematics

Keyphrases