scientific article; zbMATH DE number 2182489
From MaRDI portal
Publication:4681364
zbMath1095.03017MaRDI QIDQ4681364
Thierry Coquand, Randy Pollack, Makoto Takeyama
Publication date: 23 June 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functional programming systemfoundational computer algebra systemMartin-Löf logical frameworkmodule-based systemstype-based proof (assistant) systemmeta-mathematical proof system
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Working with Mathematical Structures in Type Theory ⋮ User interaction with the Matita proof assistant ⋮ A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance ⋮ Manifest Fields and Module Mechanisms in Intensional Type Theory
Uses Software
This page was built for publication:
