Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,138,284 papers from all fields of science
Search
Sign In
Create Free Account
Homotopy type theory
Known as:
Homotopic type theory
, Fibrations-as-Types interpretation
, Fibrations-as-types
Expand
In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Calculus of constructions
Category theory
Computer science
Coq (software)
Expand
Broader (2)
Formal methods
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Modal Homotopy Type Theory
D. Corfield
2018
Corpus ID: 213524703
In[KF1] 1914, in an essay entitled ‘Logic as the Essence of Philosophy’, Bertrand Russell promised to revolutionize philosophy by…
Expand
2017
2017
On the algebras over equivariant little disks
M. Hill
Journal of Pure and Applied Algebra
2017
Corpus ID: 119316634
2016
2016
A computational model for refining Data domains in the property reconciliation
Viacheslav Wolfengagen
,
L. Ismailova
,
S. Kosikov
Third International Conference on Digital…
2016
Corpus ID: 18037445
A computational model for refining of data domains which are selected out in the property recognition over the Big Data sources…
Expand
2015
2015
How Intensional Is Homotopy Type Theory
T. Streicher
2015
Corpus ID: 16927843
Martin-Lof’s Extensional Type Theory (ETT) has a straighforward semantics in the category Set of sets and functions and actually…
Expand
2014
2014
Inequivalent Lefschetz fibrations and surgery equivalence of symplectic 4-manifolds
R. Baykur
2014
Corpus ID: 59486969
We prove that any symplectic 4-manifold which is not a rational or ruled surface, after sufficiently many blow-ups, admits an…
Expand
Review
2010
Review
2010
Presentations of periodic maps on oriented closed surfaces of genera up to 4
Susumu Hirose
2010
Corpus ID: 118645696
J. Nielsen [25] classified periodic maps on orientable surface by using a data describing the homomorphisms from the fundamental…
Expand
2001
2001
Automatic segmentation of clinical structures for RTP: Evaluation of a morphological approach
G. Bueno
,
M. Fisher
,
K. Burnham
,
J. Mills
,
Oliver C. L. Hass
2001
Corpus ID: 15425896
This paper describes a morphological segmentation technique developed to assist clinicians and radiologists in conformal RTP. The…
Expand
2000
2000
Calibrated Fibrations on Complete Manifolds via Torus Action
Edward Goldstein
2000
Corpus ID: 15085652
In this paper we will investigate torus actions on complete manifolds with calibrations. For Calabi-Yau manifolds M^2n with a…
Expand
1991
1991
Rational Functions, Labelled Configurations, and Hilbert Schemes
R. Cohen
,
D. Shimamoto
1991
Corpus ID: 14462564
In this paper, we continue the study of the homotopy type of spaces of rational functions from S to CP begun in [3,4]. We prove…
Expand
1970
1970
Homeomorphisms between homotopy manifolds and their resolutions
Marshall M. Cohen
1970
Corpus ID: 56423146
A homotopy n-manifold without boundary is a polyhedron M (i. e., a topological space along with a family of compatible…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE