scientific article; zbMATH DE number 1301741
From MaRDI portal
Publication:4246954
zbMath0927.03058MaRDI QIDQ4246954
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstract data typesalgorithms of sorting by insertionextension of Martin-Löf's type theory with dependent record types and subtyping
Searching and sorting (68P10) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Second- and higher-order arithmetic and fragments (03F35)
This page was built for publication: