Head reduction and normalization in a call-by-value lambda-calculus

Giulio Guerrieri

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 'Head reduction and normalization in a call-by-value lambda-calculus'. Together they form a unique fingerprint.

Mathematics

Earth & Environmental Sciences

Social Sciences

Engineering & Materials Science