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)

zbMATH Keywords

surveyfunctional programmingproof theory\(\lambda\)-calculusCurry-Howard isomorphismprogramming theoryconcealed programming meaning of mathematical theoremsfunctions and proofs as programstheorems as specifications

Mathematics Subject Classification ID

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)