%0 Conference Paper %1 conf/wrla/OkadaT20 %A Okada, Mitsuhiro %A Takahashi, Yuta %B WRLA@ETAPS %D 2020 %E Escobar, Santiago %E Martí-Oliet, Narciso %I Springer %K dblp %P 136-155 %T A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2020.html#OkadaT20 %V 12328 %@ 978-3-030-63595-4

@inproceedings{conf/wrla/OkadaT20, added-at = {2020-12-17T00:00:00.000+0100}, author = {Okada, Mitsuhiro and Takahashi, Yuta}, biburl = {https://www.bibsonomy.org/bibtex/29361600d0576f7a51e9d06374f7223d5/dblp}, booktitle = {WRLA@ETAPS}, crossref = {conf/wrla/2020}, editor = {Escobar, Santiago and Martí-Oliet, Narciso}, ee = {https://doi.org/10.1007/978-3-030-63595-4_8}, interhash = {2e48f02b68694b588086b18285ade878}, intrahash = {9361600d0576f7a51e9d06374f7223d5}, isbn = {978-3-030-63595-4}, keywords = {dblp}, pages = {136-155}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:58:09.000+0200}, title = {A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2020.html#OkadaT20}, volume = 12328, year = 2020 }