Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus

Rasmus Ejlers Møgelberg

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

Fingerprint

Dive into the research topics of 'Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science

Engineering