Normalization bounds in rudimentary linear lambda calculus. Maietti, M., Ritter, E., & de Paiva, V. In Proceedings of the Fourth International Workshop on Computational Complexity, 2002. bibtex @inproceedings{maietti2002normalization,
title={Normalization bounds in rudimentary linear lambda calculus},
author={Maietti, Maria and Ritter, Eike and de Paiva, Valeria},
booktitle={Proceedings of the Fourth International Workshop on Computational Complexity},
year={2002}
}
Downloads: 0
{"_id":"WAmbKsBfGjqNWFGye","bibbaseid":"maietti-ritter-depaiva-normalizationboundsinrudimentarylinearlambdacalculus-2002","author_short":["Maietti, M.","Ritter, E.","de Paiva, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Normalization bounds in rudimentary linear lambda calculus","author":[{"propositions":[],"lastnames":["Maietti"],"firstnames":["Maria"],"suffixes":[]},{"propositions":[],"lastnames":["Ritter"],"firstnames":["Eike"],"suffixes":[]},{"propositions":["de"],"lastnames":["Paiva"],"firstnames":["Valeria"],"suffixes":[]}],"booktitle":"Proceedings of the Fourth International Workshop on Computational Complexity","year":"2002","bibtex":"@inproceedings{maietti2002normalization,\n title={Normalization bounds in rudimentary linear lambda calculus},\n author={Maietti, Maria and Ritter, Eike and de Paiva, Valeria},\n booktitle={Proceedings of the Fourth International Workshop on Computational Complexity},\n year={2002}\n}\n\n","author_short":["Maietti, M.","Ritter, E.","de Paiva, V."],"key":"maietti2002normalization","id":"maietti2002normalization","bibbaseid":"maietti-ritter-depaiva-normalizationboundsinrudimentarylinearlambdacalculus-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/bGmnF9MtdvorA3axu","dataSources":["G5gXTcMBqic2Zkybh"],"keywords":[],"search_terms":["normalization","bounds","rudimentary","linear","lambda","calculus","maietti","ritter","de paiva"],"title":"Normalization bounds in rudimentary linear lambda calculus","year":2002}