2023/04/26 by Dowek, Gilles#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
paper · doi:10.48550/arxiv.2304.13319
We give a presentation of Simple Type Theory as a clausal rewrite system in Polarized deduction modulo.