From Types to Sets by Local Type Definition in Higher-Order Logic.

Ondrej Kuncar Andrei Popescu

Published in: J. Autom. Reason. (2019)

Keyphrases

higher order logic
higher order
theorem prover
multiple types
conditional logic
utility function