Decidable Fragments of the Simple Theory of Types with Infinity and NF (2017)
Attributed to:
Descriptive Complexity with Algebraic Operators
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1215/00294527-2017-0009
Publication URI: http://dx.doi.org/10.1215/00294527-2017-0009
Type: Journal Article/Review
Parent Publication: Notre Dame Journal of Formal Logic
Issue: 3