Published in: LIPIcs, Volume 269, 28th International Conference on Types for Proofs and Programs (TYPES 2022)
Fábio Reis, Sandra Alves, and Mário Florido. Linear Rank Intersection Types. In 28th International Conference on Types for Proofs and Programs (TYPES 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 269, pp. 8:1-8:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{reis_et_al:LIPIcs.TYPES.2022.8, author = {Reis, F\'{a}bio and Alves, Sandra and Florido, M\'{a}rio}, title = {{Linear Rank Intersection Types}}, booktitle = {28th International Conference on Types for Proofs and Programs (TYPES 2022)}, pages = {8:1--8:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-285-3}, ISSN = {1868-8969}, year = {2023}, volume = {269}, editor = {Kesner, Delia and P\'{e}drot, Pierre-Marie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2022.8}, URN = {urn:nbn:de:0030-drops-184513}, doi = {10.4230/LIPIcs.TYPES.2022.8}, annote = {Keywords: Lambda-Calculus, Intersection Types, Quantitative Types, Tight Typings} }
Feedback for Dagstuhl Publishing