scientific article; zbMATH DE number 1302055
From MaRDI portal
Publication:4247299
zbMath0930.03088MaRDI QIDQ4247299
Gustavo Betarte, Álvaro Tasistro
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive type theorysubtypingalgebraic systemsabstract data typessetoidsdependent record typesMartin-Löf's set theoryrecord type inclusiontype formation
Abstract data types; algebraic specification (68Q65) Second- and higher-order arithmetic and fragments (03F35)
Related Items (6)
Packaging Mathematical Structures ⋮ Innovations in computational type theory using Nuprl ⋮ Working with Mathematical Structures in Type Theory ⋮ Implicit coercions in type systems ⋮ Subtyping dependent types ⋮ Manifest Fields and Module Mechanisms in Intensional Type Theory
This page was built for publication:
