Proof Systems for Retracts in Simply Typed Lambda Calculus.

Published in: ICALP (2) (2013)

Keyphrases

lambda calculus
higher order
programming language
management system
database
predicate calculus
expert systems
object oriented
complex objects
program understanding