%0 Conference Paper %1 conf/icsca/NishizakiK21 %A ya Nishizaki, Shin %A Kasuga, Ryotaro %B ICSCA %D 2021 %I ACM %K dblp %P 100-104 %T Untyped lambda calculus with functionally referable environments. %U http://dblp.uni-trier.de/db/conf/icsca/icsca2021.html#NishizakiK21 %@ 978-1-4503-8882-5

@inproceedings{conf/icsca/NishizakiK21, added-at = {2022-10-02T00:00:00.000+0200}, author = {ya Nishizaki, Shin and Kasuga, Ryotaro}, biburl = {https://www.bibsonomy.org/bibtex/237c7c6276b93f981016f67743a2349ae/dblp}, booktitle = {ICSCA}, crossref = {conf/icsca/2021}, ee = {https://doi.org/10.1145/3457784.3457798}, interhash = {df4e67521213e3589dce8edde38c030e}, intrahash = {37c7c6276b93f981016f67743a2349ae}, isbn = {978-1-4503-8882-5}, keywords = {dblp}, pages = {100-104}, publisher = {ACM}, timestamp = {2024-04-09T13:35:43.000+0200}, title = {Untyped lambda calculus with functionally referable environments.}, url = {http://dblp.uni-trier.de/db/conf/icsca/icsca2021.html#NishizakiK21}, year = 2021 }