Intuitionist type theory and foundations.

Joachim Lambek Philip J. Scott

Published in: J. Philos. Log. (1981)

Keyphrases

artificial intelligence
real time
databases
decision trees
video sequences
expert systems
theoretical framework
general theory
social networks
image processing
formal theory
type checking