What is a model for a semantically linear ?-calculus?

Marco Gaboardi, Mauro Piccolo

    Research output: Contribution to journalArticlepeer-review

    Fingerprint

    Dive into the research topics of 'What is a model for a semantically linear ?-calculus?'. Together they form a unique fingerprint.

    Mathematics

    Arts & Humanities

    Engineering & Materials Science