scientific article; zbMATH DE number 3573834
From MaRDI portal
Publication:4145690
Cited in
(8)- A minimalist two-level foundation for constructive mathematics
- Formally computing with the non-computable
- Exercising Nuprl's open-endedness
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- Validating Brouwer's continuity principle for numbers using named exceptions
- Realizability and intuitionistic logic
- Extensional realizability
- A fundamental effect in computations on real numbers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4145690)
