scientific article; zbMATH DE number 3827194

zbMATH Open0522.68034MaRDI QIDQ3673095FDOQ3673095

Authors: Jan Smith 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

quicksortintuitionistic type theoryhigher-order functionfunctional languageprimitive recursioncourse-of-values recursion

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Metamathematics of constructive systems (03F50) Abstract data types; algebraic specification (68Q65) Higher-type and set recursion theory (03D65) Intuitionistic mathematics (03F55)

Cited In (4)

• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
• Constructive system for automatic program synthesis
• Program development in constructive type theory
• Constructing recursion operators in intuitionistic type theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3673095)