Bookmark Saya

arXiv Open Access 2023

Simple Type Theory as a Clausal Theory

Gilles Dowek
Lihat Sumber

Abstrak

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

Topik & Kata Kunci

cs.LO

Penulis (1)

G

Gilles Dowek

Format Sitasi

APA MLA BibTeX
Dowek, G. (2023). Simple Type Theory as a Clausal Theory. https://arxiv.org/abs/2304.13319

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2023
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓