Coherence in cartesian closed categories and the generality of proofs.

Manfred E. Szabo

Published in: Stud Logica (1989)

Keyphrases

object categories
real time
theorem proving
training data
theorem prover
queueing networks
neural network
search algorithm
object recognition
probabilistic model
decision procedures
polar coordinates
broad categories
equational theories