scientific article
From MaRDI portal
Publication:2752048
zbMath0995.68014MaRDI QIDQ2752048
Jason Hickey, Robert L. Constable
Publication date: 23 October 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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
