%0 Journal Article %1 journals/mscs/Carvalho18 %A de Carvalho, Daniel %D 2018 %J Math. Struct. Comput. Sci. %K dblp %N 7 %P 1169-1203 %T Execution time of λ-terms via denotational semantics and intersection types. %U http://dblp.uni-trier.de/db/journals/mscs/mscs28.html#Carvalho18 %V 28

@article{journals/mscs/Carvalho18, added-at = {2020-04-01T00:00:00.000+0200}, author = {de Carvalho, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2521cda3a6a3c6f68cb3955b8473424ec/dblp}, ee = {https://doi.org/10.1017/S0960129516000396}, interhash = {63b709bfd7209a71d3a849fb5ccc4f17}, intrahash = {521cda3a6a3c6f68cb3955b8473424ec}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 7, pages = {1169-1203}, timestamp = {2020-04-02T11:41:00.000+0200}, title = {Execution time of λ-terms via denotational semantics and intersection types.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs28.html#Carvalho18}, volume = 28, year = 2018 }