%0 Journal Article %1 journals/logcom/GijzenIK23 %A Gijzen, Marlou M. %A Ishihara, Hajime %A Kawai, Tatsuji %D 2023 %J J. Log. Comput. %K dblp %N 5 %P 937-960 %T Reflexive combinatory algebras. %U http://dblp.uni-trier.de/db/journals/logcom/logcom33.html#GijzenIK23 %V 33

@article{journals/logcom/GijzenIK23, added-at = {2023-08-08T00:00:00.000+0200}, author = {Gijzen, Marlou M. and Ishihara, Hajime and Kawai, Tatsuji}, biburl = {https://www.bibsonomy.org/bibtex/2648913c16d8d4571ca65a5b928e00d70/dblp}, ee = {https://doi.org/10.1093/logcom/exac049}, interhash = {0e022c0cff26eed24a8a8e7f9edccb54}, intrahash = {648913c16d8d4571ca65a5b928e00d70}, journal = {J. Log. Comput.}, keywords = {dblp}, month = {July}, number = 5, pages = {937-960}, timestamp = {2024-04-09T05:12:41.000+0200}, title = {Reflexive combinatory algebras.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom33.html#GijzenIK23}, volume = 33, year = 2023 }