scientific article
From MaRDI portal
Publication:3793765
zbMath0648.68099MaRDI QIDQ3793765
No author found.
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
The differential lambda-calculus ⋮ A higher-order calculus and theory abstraction ⋮ The calculus of constructions ⋮ A useful \(\lambda\)-notation ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ On extensibility of proof checkers ⋮ The Alf proof editor and its proof engine ⋮ Closure under alpha-conversion ⋮ A prismoid framework for languages with resources ⋮ Uniformity and the Taylor expansion of ordinary lambda-terms ⋮ Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Tactics and Parameters ⋮ Telescopic mappings in typed lambda calculus ⋮ Unnamed Item ⋮ Higher-order substitutions ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
Uses Software
This page was built for publication:
