![Lambda calculus / Logic programming / Type theory / Predicate logic / ΛProlog / Unification / Free variables and bound variables / Simply typed lambda calculus / Higher-order abstract syntax / Logic / Mathematics / Theoretical computer science Lambda calculus / Logic programming / Type theory / Predicate logic / ΛProlog / Unification / Free variables and bound variables / Simply typed lambda calculus / Higher-order abstract syntax / Logic / Mathematics / Theoretical computer science](https://www.pdfsearch.io/img/10ff7521ad8182391af4bcaedbbfd6e0.jpg)
| Document Date: 2014-11-03 10:29:10 Open Document File Size: 170,51 KBShare Result on Facebook
/ Event Product Issues / Product Recall / / IndustryTerm car/cdr/cons / unification search processes / unification algorithm / computational systems / automated deduction systems / computing / type systems / calculus containing products / logical and computational systems / depth-first search mechanism / / Organization Using Church / Dale Miller Department of Computer Science and Engineering / The Pennsylvania State University University / / Person Dale Miller / / / Position interpreter / programmer / / Product expressions / / ProgrammingLanguage ML / Prolog / Pascal / Lisp / L / / Technology alpha / unification algorithm / /
SocialTag |