Back to Results
First PageMeta Content
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


Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA
Add to Reading List

Document Date: 2014-11-03 10:29:10

Open Document

File Size: 170,51 KB

Share 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