Isomorphism is equality (Q740487): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.indag.2013.09.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2039140273
@@ Property / OpenAlex ID: W2039140273 / rank @@
+Normal rank
@@ Property / cites work @@
+Univalent categories and the Rezk completion
@@ Property / cites work: Univalent categories and the Rezk completion / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Telescopic mappings in typed lambda calculus
@@ Property / cites work: Telescopic mappings in typed lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055619
@@ Property / cites work: Q4055619 / rank @@
+Normal rank
@@ Property / cites work @@
+A coherence theorem for Martin-Löf's type theory
@@ Property / cites work: A coherence theorem for Martin-Löf's type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Sentences of type theory: the only sentences preserved under isomorphisms
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+What are logical notions?
@@ Property / cites work: What are logical notions? / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Univalent Foundations of Mathematics
@@ Property / cites work: Univalent Foundations of Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877069
@@ Property / cites work: Q3877069 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:740487