@techreport{decarvalho:inria-00319822, TITLE = {{Execution Time of $\lambda$-Terms via Denotational Semantics and Intersection Types}}, AUTHOR = {de Carvalho, Daniel}, URL = {https://inria.hal.science/inria-00319822}, NOTE = {This is an edited version of ''Execution Time of $\lambda$-terms via Non-Uniform Semantics and Intersection Types'', Preprint IML, 2006.}, TYPE = {Research Report}, NUMBER = {RR-6638}, PAGES = {39}, INSTITUTION = {{INRIA}}, YEAR = {2008}, KEYWORDS = {computational complexity ; $\lambda$-calculus ; denotational semantics ; intersection types}, PDF = {https://inria.hal.science/inria-00319822/file/RR-6638.pdf}, HAL_ID = {inria-00319822}, HAL_VERSION = {v1}, }