scientific article; zbMATH DE number 1302063
From MaRDI portal
Publication:4247308
zbMath0930.03090MaRDI QIDQ4247308
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
From type theory to setoids and back ⋮ Axiomatic reals and certified efficient exact real computation ⋮ Dependent products and 1-inaccessible universes ⋮ Normalization by evaluation for modal dependent type theory ⋮ Unnamed Item ⋮ Induction-recursion and initial algebras. ⋮ Coalgebras in functional programming and type theory ⋮ Graded modal dependent type theory ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ Constructive completions of ordered sets, groups and fields ⋮ Universes in explicit mathematics ⋮ Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY ⋮ Predicativity and constructive mathematics ⋮ Unnamed Item ⋮ Maximal and partial points in formal spaces ⋮ Regular universes and formal spaces ⋮ Indexed induction-recursion
This page was built for publication:
