Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Research output: Book / Anthology / Report › Report › Research

Fingerprint

Dive into the research topics of 'Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Engineering

Computer Science