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)
Filter
Finished

Search results