A modular construction of type theories (Q5883738): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-19(1:12)2023
@@ Property / DOI: 10.46298/lmcs-19(1:12)2023 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W4320723398
@@ Property / OpenAlex ID: W4320723398 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic A-translations and Super-Consistency Entail Classical Cut Elimination
+Normal rank
@@ Property / cites work @@
+Some Axioms for Mathematics
@@ Property / cites work: Some Axioms for Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089009
@@ Property / cites work: Q5089009 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3119364
@@ Property / cites work: Q3119364 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111441
@@ Property / cites work: Q5111441 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof normalization modulo
@@ Property / cites work: Proof normalization modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691056
@@ Property / cites work: Q5691056 / 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 @@
+Q3024841
@@ Property / cites work: Q3024841 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Q3119349
@@ Property / cites work: Q3119349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-19(1:12)2023
@@ Property / DOI: 10.46298/LMCS-19(1:12)2023 / rank @@
+Normal rank