scientific article
From MaRDI portal
Publication:3880323
zbMath0438.68053MaRDI QIDQ3880323
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
A unified approach to type theory through a refined \(\lambda\)-calculus ⋮ The calculus of constructions ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Generalization from partial parametrization in higher-order type theory ⋮ Constructive system for automatic program synthesis ⋮ Definition and basic properties of the Deva meta-calculus ⋮ On the proof theory of Coquand's calculus of constructions ⋮ Analogical program derivation based on type theory ⋮ Telescopic mappings in typed lambda calculus ⋮ Combinatory reduction systems: Introduction and survey ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
Uses Software
This page was built for publication:
