scientific article; zbMATH DE number 1405571

MaRDI QIDQ4938550zbMATH OpenFDO

Authors Ulrich Berger

Publication date 23 February 2000

zbMATH Keywords

choice principlecontinuous functionalsdensity theoremsdependent typesdomain theoryextentionalitytransfinite types

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Functionals in proof theory (03F10)

Recommendations

• Publication:4729775
• A logical presentation of the continuous functionals
• scientific article; zbMATH DE number 1169381
• Characterizing the continuous functionals
• Density theorems for the domains-with-totality semantics of dependent types

Cited in

(9)

• Term rewriting for normalization by evaluation.
• Feasibly continuous type-two functionals
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Higher-order concepts for the potential infinite
• scientific article; zbMATH DE number 1670478 (Why is no real title available?)
• A logical presentation of the continuous functionals
• scientific article; zbMATH DE number 1169381 (Why is no real title available?)
• Nonflatness and totality
• scientific article; zbMATH DE number 4114613 (Why is no real title available?)

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 Q4938550)