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:

Domain-Free λµ-Calculus

Ken-Etsu Fujita

RAIRO-Theor. Inf. Appl., 34 6 (2000) 433-466

Published online: 2002-04-15

DOI: https://doi.org/10.1051/ita:2000102

This article has been cited by the following article(s):

Strong normalization proofs by CPS-translations

Satoshi Ikeda and Koji Nakazawa
Information Processing Letters 99 (4) 163 (2006)
DOI: 10.1016/j.ipl.2006.03.009
See this article

CPS-translation as adjoint

Ken-etsu Fujita
Theoretical Computer Science 411 (2) 324 (2010)
DOI: 10.1016/j.tcs.2009.06.033
See this article

Confluency and strong normalizability of call-by-value λμ-calculus

Koji Nakazawa
Theoretical Computer Science 290 (1) 429 (2003)
DOI: 10.1016/S0304-3975(01)00380-2
See this article

Strong normalization of classical natural deduction with disjunctions

Koji Nakazawa and Makoto Tatsuta
Annals of Pure and Applied Logic 153 (1-3) 21 (2008)
DOI: 10.1016/j.apal.2008.01.003
See this article

The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types

Ken-etsu Fujita and Aleksy Schubert
Information and Computation 218 69 (2012)
DOI: 10.1016/j.ic.2012.07.003
See this article

Existential type systems between Church and Curry style (type-free style)

Ken-etsu Fujita and Aleksy Schubert
Theoretical Computer Science 549 17 (2014)
DOI: 10.1016/j.tcs.2014.05.019
See this article

Strong normalization proof with CPS-translation for second order classical natural deduction

Koji Nakazawa and Makoto Tatsuta
Journal of Symbolic Logic 68 (3) 851 (2003)
DOI: 10.2178/jsl/1058448444
See this article