30 Years of Higher-Order Unification G´ - Higher-order logic - Document - PDFSEARCH.IO

First Page	Meta Content
	30 Years of Higher-Order Unification G´ Add to Reading List Document Date: 2002-09-02 10:28:36 Open Document File Size: 70,08 KB Share Result on Facebook City Santa Cruz / / Person Dana Scott / / ProgrammingLanguage Prolog / / SocialTag Logic programming Mathematics Unification Sequent Linear logic Admissible rule Substitution Logic Mathematical logic Automated theorem proving

30 Years of Higher-Order Unification G´Add to Reading List