Cartesian Closed Categories and Typed Lambda- calculi.

Published in: Combinators and Functional Programming Languages (1985)

Keyphrases

lambda calculus
programming language
queueing networks
higher order
broad categories
hierarchical structure
fixed point
sequent calculi
predicate calculus
genetic algorithm
database
fuzzy logic
pairwise
database query languages
fixed order
artificial intelligence
open or closed