scientific article

From MaRDI portal

Revision as of 14:24, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2752048

Jump to:navigation, search

zbMath0995.68014MaRDI QIDQ2752048

Jason Hickey, Robert L. Constable

Publication date: 23 October 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inheritance constructive type

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (4)

Innovations in computational type theory using Nuprl ⋮ A scalable module system ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Manifest Fields and Module Mechanisms in Intensional Type Theory

Uses Software

Nuprl

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2752048&oldid=15628212"