Uniform Proofs of Normalisation and Approximation for Intersection Types.

Kentaro Kikuchi

Published in: ITRS (2014)

Keyphrases

multi agent systems
theorem proving
real world
artificial intelligence
search engine
lower bound
expert systems
theorem prover