Domain-Free λµ-Calculus
RAIRO-Theor. Inf. Appl., 34 6 (2000) 433-466
Published online: 2002-04-15
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem
Yuki Honda, Koji Nakazawa and Ken-etsu FujitaStudia Logica 109 (5) 917 (2021)
https://doi.org/10.1007/s11225-020-09931-0
Logic Colloquium '03
Ralph MatthesLogic Colloquium '03 167 (2017)
https://doi.org/10.1017/9781316755785.010
Existential type systems between Church and Curry style (type-free style)
Ken-etsu Fujita and Aleksy SchubertTheoretical Computer Science 549 17 (2014)
https://doi.org/10.1016/j.tcs.2014.05.019
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types
Ken-etsu Fujita and Aleksy SchubertInformation and Computation 218 69 (2012)
https://doi.org/10.1016/j.ic.2012.07.003
CPS-translation as adjoint
Ken-etsu FujitaTheoretical Computer Science 411 (2) 324 (2010)
https://doi.org/10.1016/j.tcs.2009.06.033
Strong normalization of classical natural deduction with disjunctions
Koji Nakazawa and Makoto TatsutaAnnals of Pure and Applied Logic 153 (1-3) 21 (2008)
https://doi.org/10.1016/j.apal.2008.01.003
Strong normalization proofs by CPS-translations
Satoshi Ikeda and Koji NakazawaInformation Processing Letters 99 (4) 163 (2006)
https://doi.org/10.1016/j.ipl.2006.03.009
Confluency and strong normalizability of call-by-value λμ-calculus
Koji NakazawaTheoretical Computer Science 290 (1) 429 (2003)
https://doi.org/10.1016/S0304-3975(01)00380-2
Strong normalization proof with CPS-translation for second order classical natural deduction
Koji Nakazawa and Makoto TatsutaJournal of Symbolic Logic 68 (3) 851 (2003)
https://doi.org/10.2178/jsl/1058448444