Modified Realizability Toposes and Strong Normalization Proofs.

J. M. E. Hyland C.-H. Luke Ong

Published in: TLCA (1993)

Keyphrases

theorem proving
image sequences
pattern recognition
theorem prover
real time
computer vision
three dimensional
high level
objective function
preprocessing
formal proof