Panos Rondogiannis, William W. Wadge. Higher-Order Functional Languages and Intensional Logic. Journal of Functional Programming, 9(5):527-564, 1999.
@article{RondogiannisW99, title = {Higher-Order Functional Languages and Intensional Logic}, author = {Panos Rondogiannis and William W. Wadge}, year = {1999}, tags = {logic}, researchr = {https://researchr.org/publication/RondogiannisW99}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {9}, number = {5}, pages = {527-564}, }