A Compositional Cost Model for the Lambda-calculus

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of Logic in Computer Science, 2021
Publication statusAcceptance date - 30 Apr 2021

Cite this