Koji Nakazawa

Available identifiers

zbMath Open nakazawa.kojiMaRDI QIDQ514510

List of research outcomes

Publication	Date of Publication	Type
Restriction on cut rule in cyclic-proof system for symbolic heaps	2024-11-06	Paper
Completeness of cyclic proofs for symbolic heaps with inductive definitions	2024-04-19	Paper
Cut elimination for propositional cyclic proof systems with fixed-point operators	2023-12-20	Paper
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions	2023-06-23	Paper
Z property for the shuffling calculus	2023-02-28	Paper
Confluence proofs of lambda-mu-calculi by Z theorem	2021-12-27	Paper
Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4995381	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4986735	2021-04-27	Paper
Compositional Z: confluence proofs for permutative conversion	2017-03-02	Paper
Strong reduction of combinatory calculus with streams	2015-07-02	Paper
Reduction System for Extensional Lambda-mu Calculus	2014-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q5414586	2014-05-06	Paper
Monadic translation of classical sequent calculus	2014-04-16	Paper
Type checking and typability in domain-free lambda calculi	2012-01-04	Paper
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types	2010-04-27	Paper
Strong normalization proofs by CPS-translations	2010-01-29	Paper
An Isomorphism Between Cut-Elimination Procedure and Proof Reduction	2009-03-10	Paper
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence	2008-11-20	Paper
Strong normalization of classical natural deduction with disjunctions	2008-04-24	Paper
Strong normalization proof with CPS-translation for second order classical natural deduction	2005-02-09	Paper
Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus	2003-01-21	Paper

Research outcomes over time

This page was built for person: Koji Nakazawa