Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,609,019 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Computability theory
Computer science
Curry–Howard correspondence
Identifier
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The atomic lambda-mu calculus
Fanny He
2018
Corpus ID: 91186277
A cornerstone of theoretical computer science is the Curry-Howard correspondence where formulas are types, proofs are programs…
Expand
2015
2015
Gebelikte Kilo Alımı: Gebe Kadınlar Prenatal Bakımda Doğru Kilo Alım Önerisi Alıyor mu? (Ödemiş / İzmir)
Z. Daşikan
2015
Corpus ID: 71067682
2013
2013
Elektrik Çarpması Sonucu Ölüm Olgusunda Defin Ruhsatı Düzenlenmeden, Adli Bildirim Yapılmadan, Cesedin Aileye Teslim Edilmesi: Hekim Kusurlu mu?
Bora Büken
,
Erhan Büken
,
Ferhan Kandemir
2013
Corpus ID: 53936595
Today, one of the most important issues of all physicians is assessment of judicial problems after a death. In this case,victim…
Expand
2011
2011
Když se rodiče rozvádějí : jak pochopit cítění dítěte a jak mu pomoci.
M. Berger
2011
Corpus ID: 148832809
2011
2011
Krawiec kraje, jak mu materii staje
S. Kowalska
2011
Corpus ID: 176412120
Review
2003
Review
2003
Veckoblad Från Matematiska Institutionen I Uppsala Universes for Inductive and Inductive-recursive Definitions in Martin-löf Type Theory Universes for Generic Programs and Proofs in Dependent Type…
D. Hejhal
2003
Corpus ID: 17434353
Martin-Löf type theory is a formal and conceptual framework for constructive mathematics where induction and recursion are two…
Expand
2003
2003
From shift and reset to polarized linear logic
Chung-chieh Shan
2003
Corpus ID: 15522513
Griffin [22] pointed out that, just as the pure λ-calculus corresponds to intuitionistic logic, a λ-calculus with firstclass…
Expand
2000
2000
Parigot's Second Order λμ-Calculus and Inductive Types
R. Matthes
2000
Corpus ID: 15741122
1998
1998
On Proof Terms and Embeddings of Classical Substructural Logics
Ken-etsu Fujita
Studia Logica: An International Journal for…
1998
Corpus ID: 13219534
There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that…
Expand
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
Philippe Audebaud
1994
Corpus ID: 8308765
We present a connuent rewrite system which extents a previous calculus of explicit substitutions for the lambda-calculus HaLe89…
Expand