scientific article
From MaRDI portal
Publication:3319764
zbMath0535.68009MaRDI QIDQ3319764
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
type theoryfunction spacecombinatorspartial recursive functionspropositions-as-typesquotient typesautomated logicdesign of programming logicsEdinburgh LCFPL/CVPRLprogramming languages and logicsstrong intensionality
Abstract data types; algebraic specification (68Q65) Other constructive mathematics (03F65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items
Constructing recursion operators in intuitionistic type theory, Constructive system for automatic program synthesis, Validating Brouwer's continuity principle for numbers using named exceptions