First Page | Document Content | |
---|---|---|
![]() Date: 2012-09-25 06:20:13Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion | Add to Reading List |