Peter Dybjer. Comparing Integrated and External Logics of Functional Programs. Science of Computer Programming, 14(1):59-79, 1990.
@article{Dybjer90, title = {Comparing Integrated and External Logics of Functional Programs}, author = {Peter Dybjer}, year = {1990}, tags = {functional programming, logic programming, logic}, researchr = {https://researchr.org/publication/Dybjer90}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {14}, number = {1}, pages = {59-79}, }