Lambda-mu calculus
id:
lambda-mu-calculus-241-8686769
title:
Lambda-mu calculus
text:
In mathematical logic and computer science, the lambda-mu calculus is an extension of the lambda calculus introduced by Michel Parigot. It introduces two new operators: the μ operator and the bracket operator. Proof-theoretically, it provides a well-behaved formulation of classical natural deduction. One of the main goals of this extended calculus is to be able to describe expressions corresponding to theorems in classical logic. According to the Curry–Howard isomorphism, lambda calculus on its
brand slug:
wiki
category slug:
encyclopedia
description:
Extension of lambda calculus
original url:
https://en.wikipedia.org/wiki/Lambda-mu_calculus
date created:
date modified:
2024-04-01T06:58:40Z
main entity:
{"identifier":"Q6481090","url":"https://www.wikidata.org/entity/Q6481090"}
image:
fields total:
13
integrity:
14