Isomorphism of intersection and union types (Q5268999): Difference between revisions

@@ Property / arXiv ID @@
+.8206
@@ Property / arXiv ID: 1307.8206 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Provable isomorphisms of types
@@ Property / cites work: Provable isomorphisms of types / rank @@
+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 @@
+Isomorphism of "Functional" Intersection Types
@@ Property / cites work: Isomorphism of "Functional" Intersection Types / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
+Normal rank
@@ Property / cites work @@
+On isomorphisms of intersection types
@@ Property / cites work: On isomorphisms of intersection types / rank @@
+Normal rank
@@ Property / cites work @@
+Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object
+Normal rank
@@ Property / cites work @@
+A short survey of isomorphisms of types
@@ Property / cites work: A short survey of isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Elaborating intersection and union types
@@ Property / cites work: Elaborating intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on isomorphisms in typed lambda calculi with empty and sum types
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal type scheme and unification for intersection type discipline
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+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