scientific article; zbMATH DE number 1302055
From MaRDI portal
Publication:4247299
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
Cited in
(16)- Theories as types
- Packaging Mathematical Structures
- Working with Mathematical Structures in Type Theory
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- scientific article; zbMATH DE number 1187955 (Why is no real title available?)
- scientific article; zbMATH DE number 1301741 (Why is no real title available?)
- scientific article; zbMATH DE number 1088047 (Why is no real title available?)
- Type checking dependent (record) types and subtyping
- Implicit coercions in type systems
- scientific article; zbMATH DE number 2182489 (Why is no real title available?)
- A record calculus with principal types
- Martin-Löf's type theory as an open-ended framework
- Subtyping dependent types
- On subtyping in type theories with canonical objects
- Mathematical structures in natural language semantics: Zawadowski's contribution to linguistics
- Innovations in computational type theory using Nuprl
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)
