Kuroda's Translation for Higher-Order Logic.

Thomas Traversié

Published in: CoRR (2024)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
data representation
machine translation
theorem proving
cross language information retrieval