Standardization and conservativity of a refined call-by-value lambda-calculus

Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Standardization and conservativity of a refined call-by-value lambda-calculus'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science