Bibliography

FE15

Daniel P. Friedman and Carl Eastlund. The Little Prover. The MIT Press, 1st edition, 2015. ISBN 0262527952.

HF13

Jason Hemann and Daniel P Friedman. Μkanren: a minimal functional core for relational programming. In Scheme and Functional Programming Workshop, volume 2013. 2013.