Skip to search formSkip to main contentSkip to account menu

Lambda-mu calculus

Known as: Λμ calculus 
In mathematical logic and computer science, the lambda-mu calculus is an extension of the lambda calculus introduced by M. Parigot. It introduces two… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Computability theoryComputer scienceCurry–Howard correspondenceIdentifier

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The atomic lambda-mu calculus
A cornerstone of theoretical computer science is the Curry-Howard correspondence where formulas are types, proofs are programs… 
2014
2014
Addendum: Hybrid bounds for twisted L-functions
Recently there has been a lot of interest in such bounds. In [FKM, Section 1.4], Theorem 2’ (with an unspecified dependence on f… 
2011
2011
Když se rodiče rozvádějí : jak pochopit cítění dítěte a jak mu pomoci.
2011
2011
Krawiec kraje, jak mu materii staje
2006
2006
Role of HIV-1 Infection in Addictive Behavior: A Study of a HIV-1 Transgenic Rat Model
Epidemiological research indicates that drug abuse is prevalent among individuals infected with HIV-1. Evidence from preclinical… 
2003
2003
Treatment of HBeAg negative chronic Hepatitis B : Treatment with Interferon or Pegylated Interferon
As soon as alpha-interferon (IFN) became available it was used in chronic HBeAg negative chronic hepatitis B: at the beginning… 
2001
2001
Strong Normalization of Second Order Symmetric Lambda-mu Calculus
Parigot suggested symmetric structural reduction rules for application to µ-abstraction in [9]to ensure unique representation of… 
2000
2000
Parigot's Second Order λμ-Calculus and Inductive Types
1998
1998
On Proof Terms and Embeddings of Classical Substructural Logics
There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that… 
1994
1994
Explicit Substitutions for the Lambda-mu Calculus Ecole Normale Supérieure De Lyon Explicit Substitutions for the Lambda-mu Calculus Explicit Substitutions for the Lambda-mu Calculus
We present a connuent rewrite system which extents a previous calculus of explicit substitutions for the lambda-calculus HaLe89… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)