Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract).

Jean H. Gallier

Published in: RTA (1993)

Keyphrases

higher order
lambda calculus
data sets
high level
book covers
topological properties
genetic algorithm
e learning
metadata
co occurrence
structural properties
desirable properties