scientific article; zbMATH DE number 599579
surveyfunctional programmingproof theory\(\lambda\)-calculusCurry-Howard isomorphismprogramming theoryconcealed programming meaning of mathematical theoremsfunctions and proofs as programstheorems as specifications
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Philosophy of mathematics (00A30) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
- 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)
- Revisiting the notion of function
- A theory independent Curry-De Bruijn-Howard correspondence
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- scientific article; zbMATH DE number 46720 (Why is no real title available?)
- A view of programming languages as symbiosis of meaning and computations
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)
