Login / Signup
Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves.
Jean H. Gallier
Published in:
Theor. Comput. Sci. (1995)
Keyphrases
</>
higher order
lambda calculus
co occurrence
fixed point
desirable properties
artificial intelligence
multimedia
case study
multiscale
data structure
structural properties