Citation
Jim Tyhurst. 2011-04-07. Model-Theory Semantics implemented in Clojure. Lightning Talk at the Lambda Lounge user group, St. Louis, MO. April 7, 2011
References
Slides: JimTyhurst-ModelTheorySemantics-20110407.pdf
Source: https://github.com/jimtyhurst/generalized-quantifiers