Search the dblp DataBase

Publications of Author

1. Satoshi Ikeda, Koji Nakazawa
   Strong normalization proofs by CPS-translations. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2006, v:99, n:4, pp:163-170 [Journal]
   
2. Koji Nakazawa, Makoto Tatsuta
   Strong normalization proof with CPS-translation for second order classical natural deduction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2003, v:68, n:3, pp:851-859 [Journal]
   
3. Koji Nakazawa
   Confluency and strong normalizability of call-by-value lambda-µ-calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:290, n:1, pp:429-463 [Journal]
   
4. Koji Nakazawa
   An Isomorphism Between Cut-Elimination Procedure and Proof Reduction. [Citation Graph (0, 0)][DBLP]
   TLCA, 2007, pp:336-350 [Conf]
   
5. 
   Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. [Citation Graph (, )][DBLP]
   
   
6. 
   Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types. [Citation Graph (, )][DBLP]
   
   
7. 
   Strong normalization of classical natural deduction with disjunctions. [Citation Graph (, )][DBLP]