Checking algorithms for Pure Type Systems (Q6083689): Difference between revisions

@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i>
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+(In)consistency of Extensions of Higher Order Logic and Type Theory
+Normal rank
@@ Property / cites work @@
+Q4939698
@@ Property / cites work: Q4939698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012878
@@ Property / cites work: Q4012878 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking with universes
@@ Property / cites work: Type checking with universes / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective in Theoretical Computer Science
@@ Property / cites work: A Perspective in Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3211296
@@ Property / cites work: Q3211296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247306
@@ Property / cites work: Q4247306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281480
@@ Property / cites work: Q4281480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204068
@@ Property / cites work: Q3204068 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing in pure type systems
@@ Property / cites work: Typing in pure type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856127
@@ Property / cites work: Q3856127 / rank @@
+Normal rank