HoCHC: a Refutationally-complete and Semantically-invariant System of Higher-order Logic Modulo Theories

C.-H. Luke Ong, Dominik Wagner 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
PDF Slides
Type
Conference paper
Publication
34th Annual ACM/IEEE Symposium on Logic in Computer Science