Standardization of a call-by-value lambda-calculus

Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

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

Engineering & Materials Science