Login / Signup
Mechanising lambda-calculus using a classical first order theory of terms with permutations.
Michael Norrish
Published in:
High. Order Symb. Comput. (2006)
Keyphrases
</>
lambda calculus
higher order
predicate calculus
data structure
co occurrence
programming language
data model
formal model