scientific article; zbMATH DE number 622669
From MaRDI portal
Publication:4303117
zbMath0801.03011MaRDI QIDQ4303117
Publication date: 21 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interactive proofmeta-level search strategyobject- level functional programspartial decision procedureprinciple of type inductionvariant of Martin-Löf type theory
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
This page was built for publication:
