Intuitionistic fixed point logic (Q2220485): Difference between revisions

@@ Property / cites work @@
+Copatterns
@@ Property / cites work: Copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional interpretation and inductive definitions
+Normal rank
@@ Property / cites work @@
+Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions
+Normal rank
@@ Property / cites work @@
+From Coinductive Proofs to Exact Real Arithmetic
@@ Property / cites work: From Coinductive Proofs to Exact Real Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075213
@@ Property / cites work: Q3075213 / rank @@
+Normal rank
@@ Property / cites work @@
+From coinductive proofs to exact real arithmetic: theory and applications
+Normal rank
@@ Property / cites work @@
+Extracting Non-Deterministic Concurrent Programs.
@@ Property / cites work: Extracting Non-Deterministic Concurrent Programs. / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized program extraction for induction and coinduction
+Normal rank
@@ Property / cites work @@
+Proofs, programs, processes
@@ Property / cites work: Proofs, programs, processes / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of equality for codata types
@@ Property / cites work: Undecidability of equality for codata types / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive approach to computing with compact sets
+Normal rank
@@ Property / cites work @@
+Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
+Normal rank
@@ Property / cites work @@
+Logic for Gray-code Computation
@@ Property / cites work: Logic for Gray-code Computation / rank @@
+Normal rank
@@ Property / cites work @@
+\textsc{Prawf}: an interactive proof system for program extraction
+Normal rank
@@ Property / cites work @@
+Q4435458
@@ Property / cites work: Q4435458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+A syntactic view of computational adequacy
@@ Property / cites work: A syntactic view of computational adequacy / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
+Normal rank
@@ Property / cites work @@
+An abstract data type for real numbers
@@ Property / cites work: An abstract data type for real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Induction-recursion and initial algebras.
@@ Property / cites work: Induction-recursion and initial algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+General logical metatheorems for functional analysis
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof-theoretic strength of monotone induction in explicit mathematics
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda-calculus in classical Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Dependent choice, `quote' and the clock
@@ Property / cites work: Dependent choice, `quote' and the clock / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847816
@@ Property / cites work: Q2847816 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Relational Models of Typed Lambda-Calculi
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783334
@@ Property / cites work: Q4783334 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Inductive-Inductive Definitions
@@ Property / cites work: Inductive-Inductive Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3532205
@@ Property / cites work: Q3532205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Ramified Corecurrence and Logspace
@@ Property / cites work: Ramified Corecurrence and Logspace / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718561
@@ Property / cites work: Q5718561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational adequacy for recursive types in models of intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Real number computation through Gray code embedding.
+Normal rank
@@ Property / cites work @@
+Real number computation with committed choice logic programming languages
+Normal rank
@@ Property / cites work @@
+On the intuitionistic strength of monotone inductive definitions
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank