Ein starker Normalisationssatz für die intuitionistische Typentheorie (Q2558857): Difference between revisions

@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Hauptsatz for higher order logic
@@ Property / cites work: Hauptsatz for higher order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+A proof of cut-elimination theorem in simple type-theory
+Normal rank
@@ Property / cites work @@
+Q5822068
@@ Property / cites work: Q5822068 / rank @@
+Normal rank