Total objects in inductively defined types

DOI10.1007/S001530050073zbMath0881.03026OpenAlexW1990444834MaRDI QIDQ1374674

Lill Kristiansen, Dag Normann

Publication date: 10 December 1997

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050073

zbMATH Keywords

coherence spaces with totalitydomains with totalityinterpretations of inductively defined typespositive inductive definitionsemantical analysistype streams

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Higher-type and set recursion theory (03D65)

Related Items (5)

Interpreting higher computations as types with totality ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Coherence Spaces and Uniform Continuity ⋮ Equational theories for inductive types ⋮ Can partial indexings be totalized?

This page was built for publication: Total objects in inductively defined types