scientific article; zbMATH DE number 599579
zbMATH Open0842.03023MaRDI QIDQ4297779FDOQ4297779
Authors: Jean-Louis Krivine
Publication date: 2 December 1995
Title of this publication is not available (Why is that?)
Recommendations
- 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 \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
- Constructive Mathematics and Functional Programming (Abstract)
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)
Cited In (5)
- 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
- Title not available (Why is that?)
- 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)