Login / Signup
How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation.
Makoto Hamana
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
higher order
algebraic structure
high order
computer algebra
linear algebra
function symbols
polynomial hierarchy
theorem prover
cognitive psychology