%0 Conference Paper %1 conf/types/Takahashi21 %A Takahashi, Yuta %B TYPES %D 2021 %E Basold, Henning %E Cockx, Jesper %E Ghilezan, Silvia %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 12:1-12:23 %T Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus. %U http://dblp.uni-trier.de/db/conf/types/types2021.html#Takahashi21 %V 239 %@ 978-3-95977-254-9

@inproceedings{conf/types/Takahashi21, added-at = {2022-10-02T00:00:00.000+0200}, author = {Takahashi, Yuta}, biburl = {https://www.bibsonomy.org/bibtex/2f3cbb749a31f81180007dc6d653905d9/dblp}, booktitle = {TYPES}, crossref = {conf/types/2021}, editor = {Basold, Henning and Cockx, Jesper and Ghilezan, Silvia}, ee = {https://doi.org/10.4230/LIPIcs.TYPES.2021.12}, interhash = {d26dbf2614a3bedb80cbf9917c52a46e}, intrahash = {f3cbb749a31f81180007dc6d653905d9}, isbn = {978-3-95977-254-9}, keywords = {dblp}, pages = {12:1-12:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:44:49.000+0200}, title = {Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/types/types2021.html#Takahashi21}, volume = 239, year = 2021 }