The effects of effects on constructivism (Q2133168): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2019.09.006
@@ Property / DOI: 10.1016/j.entcs.2019.09.006 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q113317357
@@ Property / Wikidata QID: Q113317357 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2019.09.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2995889279
@@ Property / OpenAlex ID: W2995889279 / rank @@
+Normal rank
@@ Property / cites work @@
+Innovations in computational type theory using Nuprl
+Normal rank
@@ Property / cites work @@
+Proofs as programs
@@ Property / cites work: Proofs as programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of the axiom of choice
+Normal rank
@@ Property / cites work @@
+A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Computability Beyond Church-Turing via Choice Sequences
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Agda – A Functional Language with Dependent Types
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+A weak countable choice principle
@@ Property / cites work: A weak countable choice principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931272
@@ Property / cites work: Q3931272 / rank @@
+Normal rank
@@ Property / cites work @@
+The effects of effects on constructivism
@@ Property / cites work: The effects of effects on constructivism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive Proof of Dependent Choice, Compatible with Classical Logic
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Cauchy Completeness of the Constructive Cauchy Reals
+Normal rank
@@ Property / cites work @@
+Q5829025
@@ Property / cites work: Q5829025 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus with dependent types for classical arithmetic
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Some axioms for constructive analysis
@@ Property / cites work: Some axioms for constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical set theory: A characterization of the category of sets
+Normal rank
@@ Property / cites work @@
+Tripos theory in retrospect
@@ Property / cites work: Tripos theory in retrospect / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494237
@@ Property / cites work: Q5494237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552747
@@ Property / cites work: Q4552747 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552748
@@ Property / cites work: Q4552748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975244
@@ Property / cites work: Q3975244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753696
@@ Property / cites work: Q2753696 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable Choice as a Questionable Uniformity Principle
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3118402
@@ Property / cites work: Q3118402 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2019.09.006
@@ Property / DOI: 10.1016/J.ENTCS.2019.09.006 / rank @@
+Normal rank