Standardization of a call-by-value lambda-calculus

Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

10 Citations (SciVal)

Fingerprint

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

Computer Science

Mathematics