Simple Type Theory as a Clausal Theory

04/26/2023

∙

by   Gilles Dowek, et al.

∙

0

∙

share

We give a presentation of Simple Type Theory as a clausal rewrite system in Polarized deduction modulo.