Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.

Alex P. Jones Zhaohui Luo Sergei Soloviev

Published in: TYPES (1996)

Keyphrases

theorem prover
theorem proving
machine learning
linear logic
e learning
search algorithm
digital libraries
formal proof