The effects of effects on constructivism

DOI10.1016/J.ENTCS.2019.09.006MaRDI QIDQ2133168zbMATH OpenOpenAlexWikidataFDO

Authors Liron Cohen, Sofia Abreu Faro, Ross Tate

Publication date 29 April 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2019.09.006

zbMATH Keywords

constructivismcountable choiceeffectsnon-determinismstateful computation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Countable Choice as a Questionable Uniformity Principle
• scientific article; zbMATH DE number 1795226
• Choice Principles and Constructive Logics†
• The fundamental theorem of algebra: a constructive development without choice.
• scientific article; zbMATH DE number 1670500

Cites work

• A Brief Overview of Agda – A Functional Language with Dependent Types
• A Constructive Proof of Dependent Choice, Compatible with Classical Logic
• A sequent calculus with dependent types for classical arithmetic
• A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
• A weak countable choice principle
• Categorical logic and type theory
• Categorical set theory: A characterization of the category of sets
• Computability beyond Church-Turing via choice sequences
• Constructive set theory
• Constructivism in mathematics. An introduction. Volume I
• Countable Choice as a Questionable Uniformity Principle
• History of constructivism in the 20th century
• scientific article; zbMATH DE number 1670500 (Why is no real title available?)
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3747104 (Why is no real title available?)
• scientific article; zbMATH DE number 17894 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 1795226 (Why is no real title available?)
• scientific article; zbMATH DE number 1795227 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 5064954 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3090158 (Why is no real title available?)
• Innovations in computational type theory using Nuprl
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Notions of computation and monads
• On the Cauchy completeness of the constructive Cauchy reals
• On the computational content of the axiom of choice
• On the interpretation of intuitionistic number theory
• Proofs as programs
• Realizability. An introduction to its categorical side
• Some axioms for constructive analysis
• The effects of effects on constructivism
• Tripos theory
• Tripos theory in retrospect

Cited in

(2)

• The effects of effects on constructivism
• Stateful Realizers for Nonstandard Analysis

Describes a project that uses

Uses Software

• Nuprl
• Agda

This page was built for publication: The effects of effects on constructivism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133168)