scientific article

zbMath0701.03006MaRDI QIDQ3478383

No author found.

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

higher typeshigher type functionsconstructive domainscategory of enumerationstyped \(\lambda \) -calculus with surjective pairingtyped functions

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Second- and higher-order arithmetic and fragments (03F35) Second- and higher-order model theory (03C85) Theory of numerations, effectively presented structures (03D45) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Constructive natural deduction and its ‘ω-set’ interpretation

This page was built for publication: