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)

Search results