scientific article
From MaRDI portal
Publication:3673095
zbMath0522.68034MaRDI QIDQ3673095
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functional languageprimitive recursionquicksortintuitionistic type theoryhigher-order functioncourse-of-values recursion
Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Higher-type and set recursion theory (03D65)
Related Items (4)
Constructing recursion operators in intuitionistic type theory ⋮ Constructive system for automatic program synthesis ⋮ Program development in constructive type theory ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
This page was built for publication:
