Towards a semantic measure of the execution time in call-by-value lambda-calculus

Giulio Guerrieri

Research output: Contribution to journalConference articlepeer-review

5 Citations (SciVal)

Fingerprint

Dive into the research topics of 'Towards a semantic measure of the execution time in call-by-value lambda-calculus'. Together they form a unique fingerprint.

Computer Science