Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages.

Masahito Hasegawa

Published in: Category Theory and Computer Science (1995)

Keyphrases

lambda calculus
programming language
software engineering
general purpose
predicate calculus
object oriented
higher order
strongly typed
high level
logic programming
relational databases
complex objects
program understanding
database query languages