scientific article; zbMATH DE number 1302055
From MaRDI portal
Publication:4247299
zbMATH Open0930.03088MaRDI QIDQ4247299FDOQ4247299
Authors: Gustavo Betarte, Álvaro Tasistro 
Publication date: 16 June 1999
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 814798
- scientific article; zbMATH DE number 3853066
- Dependently typed records in type theory
- scientific article; zbMATH DE number 1187955
- A calculus with recursive types, record concatenation and subtyping
- scientific article; zbMATH DE number 1342292
- Remarks on Martin-Löf's partial type theory
- Martin-Löf's type theory as an open-ended framework
- Subtyping and intersection types revisited
- Extensional constructs in intensional type theory
subtypingabstract data typesconstructive type theoryalgebraic systemssetoidsdependent record typesMartin-Löf's set theoryrecord type inclusiontype formation
Abstract data types; algebraic specification (68Q65) Second- and higher-order arithmetic and fragments (03F35)
Cited In (12)
- A record calculus with principal types
- Title not available (Why is that?)
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- Subtyping dependent types
- Packaging Mathematical Structures
- Theories as types
- Innovations in computational type theory using Nuprl
- Title not available (Why is that?)
- Working with Mathematical Structures in Type Theory
- Title not available (Why is that?)
- Martin-Löf's type theory as an open-ended framework
- Implicit coercions in type systems
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 Q4247299)
