Nuprl's class theory and its applications

MaRDI QIDQ2752048zbMATH OpenFDO

Authors Jason Hickey, Robert Constable

Publication date 23 October 2002

zbMATH Keywords

inheritanceconstructive type

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Innovations in computational type theory using Nuprl
• scientific article; zbMATH DE number 1541629
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Exploring abstract algebra in constructive type theory
• scientific article; zbMATH DE number 1070622

Cited in

(7)

• Exploring abstract algebra in constructive type theory
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Innovations in computational type theory using Nuprl
• Manifest Fields and Module Mechanisms in Intensional Type Theory
• A scalable module system
• scientific article; zbMATH DE number 1541629 (Why is no real title available?)
• Validating Brouwer's continuity principle for numbers using named exceptions

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication: Nuprl's class theory and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2752048)