First Page | Document Content | |
---|---|---|
![]() Date: 2014-12-04 18:09:21Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system | Add to Reading List |