Automorphisms of types in certain type theories and representation of finite groups (Q3119463): Difference between revisions

@@ Property / author @@
-Serguei V. Solov'ev
@@ Property / author: Serguei V. Solov'ev / rank @@
-Normal rank
@@ Property / author @@
+Serguei V. Solov'ev
@@ Property / author: Serguei V. Solov'ev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871775
@@ Property / cites work: Q4871775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945229
@@ Property / cites work: Q4945229 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A computational view of implicit coercions in type theory
+Normal rank
@@ Property / cites work @@
+Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
+Normal rank
@@ Property / cites work @@
+Provable isomorphisms of types
@@ Property / cites work: Provable isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphisms of types in the presence of higher-order references (extended version)
+Normal rank
@@ Property / cites work @@
+Isomorphism of intersection and union types
@@ Property / cites work: Isomorphism of intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766804
@@ Property / cites work: Q2766804 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4325974
@@ Property / cites work: Q4325974 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphic objects in symmetric monoidal closed categories
+Normal rank
@@ Property / cites work @@
+Isomorphisms of generic recursive polynomial types
+Normal rank
@@ Property / cites work @@
+Remarks on isomorphisms in typed lambda calculi with empty and sum types
+Normal rank
@@ Property / cites work @@
+Graphs of Degree Three with a Given Abstract Group
+Normal rank
@@ Property / cites work @@
+Q4843179
@@ Property / cites work: Q4843179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572939
@@ Property / cites work: Q5572939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3253828
@@ Property / cites work: Q3253828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040149
@@ Property / cites work: Q4040149 / rank @@
+Normal rank
@@ Property / cites work @@
+The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Coercive subtyping: theory and implementation
@@ Property / cites work: Coercive subtyping: theory and implementation / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and logic as a source of algebra
@@ Property / cites work: Topology and logic as a source of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Kombinatorische Anzahlbestimmungen für Gruppen, Graphen und chemische Verbindungen
+Normal rank
@@ Property / cites work @@
+Coercion completion and conservativity in coercive subtyping
+Normal rank
@@ Property / cites work @@
+The category of finite sets and Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+Q4282541
@@ Property / cites work: Q4282541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277981
@@ Property / cites work: Q5277981 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Systems for Retracts in Simply Typed Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Q3344220
@@ Property / cites work: Q3344220 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129518000129
+Normal rank
@@ Property / OpenAlex ID @@
+W2804696247
@@ Property / OpenAlex ID: W2804696247 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3119463