Decidable Fragments of the Simple Theory of Types with Infinity and NF.

Anuj Dawar Thomas Forster Zachiri McKenzie

Published in: Notre Dame J. Formal Log. (2017)

Keyphrases

normal form
computational model
theoretical framework
theoretical basis
knowledge base
data model
special case
highly reliable
formal theory