Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus.

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
higher order
program understanding
software engineering
complex objects
theorem proving
artificial intelligence
object oriented
type checking