Items where authors include "Button, Tim"
Up a levelJump to: Article
Number of items: 1.
Article
Trueman, Rob orcid.org/0000-0002-2908-7985 and Button, Tim (2021) Against Cumulative Type Theory. The Review of Symbolic Logic. ISSN 1755-0211
Trueman, Rob orcid.org/0000-0002-2908-7985 and Button, Tim (2021) Against Cumulative Type Theory. The Review of Symbolic Logic. ISSN 1755-0211