Colleagues may be interested in my biographical article on Mike Gordon, whose promotion of higher-order logic has had such a profound impact on our field.
https://arxiv.org/abs/1806.04002 Corrections welcome. Larry Paulson ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info