BCK-Combinators and Linear lambda-Terms have Types.

J. Roger Hindley

Published in: Theor. Comput. Sci. (1989)

Keyphrases

background knowledge
real time
knowledge base
multiscale
closed form
web pages