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

Ondrej Kuncar Andrei Popescu

Published in: ITP (2016)

Keyphrases

higher order logic
type definitions
higher order
theorem prover
logical framework
artificial intelligence
database systems
general purpose
genetic programming
conditional logic