Categorical semantics for higher order polymorphic lambda calculus (Q3783264): Difference between revisions

@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for classical AUTOMATH and related systems
+Normal rank
@@ Property / cites work @@
+The „Dialectica”︁ Interpretation and Categories
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623646
@@ Property / cites work: Q5623646 / rank @@
+Normal rank