-
1تقرير
-
2تقرير
-
3تقرير
-
4تقرير
المؤلفون: Spitters, Bas
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, 03B70 (logic in computer science), 03B15 (higher-order logic and type theory), 55U35 (abstract and axiomatic homotopy theory), F.4.1
URL الوصول: http://arxiv.org/abs/1610.05270
-
5تقرير
المؤلفون: Hou, Kuen-Bang, Finster, Eric, Licata, Dan, Lumsdaine, Peter LeFanu
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Algebraic Topology, 55U35 (Abstract and axiomatic homotopy theory), 03B15 (Higher-order logic and type theory), 03B70 (Logic in computer science), F.4.1
URL الوصول: http://arxiv.org/abs/1605.03227
-
6
المصدر: LICS
مصطلحات موضوعية: FOS: Computer and information sciences, Mathematical logic, Computer Science - Logic in Computer Science, Pure mathematics, Homotopy, 010102 general mathematics, Pushout, 0102 computer and information sciences, Type (model theory), Mathematical proof, Mathematics::Algebraic Topology, 01 natural sciences, Logic in Computer Science (cs.LO), Type theory, 010201 computation theory & mathematics, Mathematics::Category Theory, FOS: Mathematics, Homotopy type theory, Algebraic Topology (math.AT), F.4.1, Mathematics - Algebraic Topology, 55U35 (Abstract and axiomatic homotopy theory), 03B15 (Higher-order logic and type theory), 03B70 (Logic in computer science), 0101 mathematics, Freudenthal suspension theorem, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed6e851a5b2c045304a28072020b0328
https://doi.org/10.1145/2933575.2934545 -
7مورد إلكتروني
-
8
-
9