Using Typed Lambda Calculus to Implement Formal Systems on a Machine.

Arnon Avron Furio Honsell Ian A. Mason Robert Pollack

Published in: J. Autom. Reason. (1992)

Keyphrases

lambda calculus
management system
programming language
higher order
distributed systems
predicate calculus
general purpose
object oriented databases