scientific article; zbMATH DE number 599579
\(\lambda\)-calculusconcealed programming meaning of mathematical theoremsCurry-Howard isomorphismfunctional programmingfunctions and proofs as programsprogramming theoryproof theorysurveytheorems as specifications
Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
- Proofs and programs
- The Impact of the Lambda Calculus in Logic and Computer Science
- scientific article; zbMATH DE number 963644
- On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
- Constructive Mathematics and Functional Programming (Abstract)
- A view of programming languages as symbiosis of meaning and computations
- Revisiting the notion of function
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- A theory independent Curry-De Bruijn-Howard correspondence
- scientific article; zbMATH DE number 46720 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4297779)
