Toward SMT-Based Refinement Types in Agda.

Gan Shen Lindsey Kuper

Published in: CoRR (2021)

Keyphrases

artificial intelligence
database
information systems
website
reinforcement learning
search algorithm
special case
medical images