Least and greatest fixed points in intuitionistic natural deduction (Q5958300): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62043281
@@ Property / Wikidata QID: Q62043281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782766
@@ Property / cites work: Q3782766 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219036
@@ Property / cites work: Q4219036 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / 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 @@
+Q3997125
@@ Property / cites work: Q3997125 / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures and program transformation
@@ Property / cites work: Data structures and program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638283
@@ Property / cites work: Q5638283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4720069
@@ Property / cites work: Q4720069 / rank @@
+Normal rank
@@ Property / cites work @@
+Paramorphisms
@@ Property / cites work: Paramorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+The extended calculus of constructions (ECC) with inductive types
+Normal rank
@@ Property / cites work @@
+Recursive programming with proofs
@@ Property / cites work: Recursive programming with proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively defined types in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5187275
@@ Property / cites work: Q5187275 / rank @@
+Normal rank
@@ Property / cites work @@
+Type fixpoints
@@ Property / cites work: Type fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Positive recursive type assignment
@@ Property / cites work: Positive recursive type assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267198
@@ Property / cites work: Q4267198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939621
@@ Property / cites work: Q4939621 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00355-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1992801334
@@ Property / OpenAlex ID: W1992801334 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5958300