scientific article
From MaRDI portal
Publication:3478405
zbMath0701.03031MaRDI QIDQ3478405
Martin C. Henson, Raymond Turner
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lambda calculustype theoryprogram developmentprogram extraction from proofsfunctional programming languagesconstructive set theory TK5negative axiom of choicetheory of types and kinds
General topics in the theory of software (68N01) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
