Citations of work:

Anuj Dawar, Thomas Forster & Zachiri McKenzie (2017). Decidable Fragments of the Simple Theory of Types with Infinity and $Mathrm{NF}$.

Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  4
    Increasing Sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Annals of Pure and Applied Logic 168 (10):1902-1926.
    Direct download (3 more)  
    Export citation