The λ μ T -calculus

, &
Annals of Pure and Applied Logic 164 (6):676-701 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.05.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The λμT-calculus.Herman Geuvers, Robbert Krebbers & James McKinna - 2013 - Annals of Pure and Applied Logic 164 (6):676-701.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
Inferentializing consequence.Jaroslav Peregrin - unknown
Completeness of quantum logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Non deterministic classical logic: the $lambdamu^{++}$-calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
Itô’s Lemma with Quantum Calculus : Some Implications. [REVIEW]Emmanuel Haven - 2011 - Foundations of Physics 41 (3):529-537.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,214,260)

6 months
1 (#1,503,385)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.

Add more references