No label defined (Q5109510)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7199581

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7199581

Statements

scholarly article

0 references

0 references

publication date

12 May 2020

0 references

full work available at URL

https://arxiv.org/abs/1904.09794

0 references

https://lmcs.episciences.org/6130

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

A Note on Forcing and Type Theory

0 references

A Computational Interpretation of Forcing in Type Theory

0 references

Continuity of Gödel's system T definable functionals via effectful forcing

0 references

A constructive manifestation of the Kleene-Kreisel continuous functionals

0 references

0 references

0 references

Continuous Truth II: Reflections

0 references

Pointwise hereditary majorization and some applications

0 references

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

0 references

A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM

0 references

Validating Brouwer's continuity principle for numbers using named exceptions

0 references

On bar recursion of types 0 and 1

0 references

Proofs and Computations

0 references

Logical relations and the typed λ-calculus

0 references

Sheaf models for choice sequences

0 references

The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation

0 references

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5109510

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5109510&oldid=36584928"