scientific article
From MaRDI portal
Publication:3024905
zbMath1063.03511MaRDI QIDQ3024905
Frank Pfenning, Carsten Schuermann, Joëlle Despeyroux
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Nominal logic, a first order theory of names and binding ⋮ Formalizing Type Operations Using the “Image” Type Constructor ⋮ Programming Inductive Proofs ⋮ Primitive recursion for higher-order abstract syntax ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) ⋮ A Representation of Fω in LF ⋮ Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
Uses Software
This page was built for publication:
