Login / Signup

Admissible Types-to-PERs Relativization in Higher-Order Logic.

Andrei PopescuDmitriy Traytel
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • higher order logic
  • higher order
  • conditional logic
  • theorem prover
  • feature extraction
  • evolutionary algorithm
  • temporal logic