Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nicholas K. Jones
Unrestricted Quantification and the Structure of Type Theory
Philosophy and Phenomenological Research
Philosophy
Philosophy of Science
History
Related publications
Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory
Synthese
Philosophy
Social Sciences
Type Theory and the Theory of Meaning
Annals of the Japan Association for Philosophy of Science
On a Type of Spherical Harmonics of Unrestricted Degree, Order, and Argument.
Proceedings of the Royal Society of London
Polish Unrestricted
BDJ In Practice
Effects of Unrestricted Access to Flash Glucose Monitoring in Type 1 Diabetes
Endocrinology, Diabetes & Metabolism
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
Analysis of Stability of Cutting Slopes by the Quantification Theory
Proceedings of the Japan Society of Civil Engineers
Pipeline Failure Cause Theory: A New Accident Characteristics, Quantification, and Cause Theory
