Increasing sentences in Simple Type Theory.

Panagiotis Rouvelas

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

theoretical framework
database
theoretical basis
general theory
search engine
data structure
computational model