Nakazawa, Koji; Fujita, Ken-etsu; Imagawa, Yuta Z property for the shuffling calculus. (English) Zbl 07657638 Math. Struct. Comput. Sci. 32, No. 7, 1015-1027 (2022). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} et al., Math. Struct. Comput. Sci. 32, No. 7, 1015--1027 (2022; Zbl 07657638) Full Text: DOI OpenURL
Fujita, Ken-etsu A formal system of reduction paths for parallel reduction. (English) Zbl 1433.68190 Theor. Comput. Sci. 813, 327-340 (2020). MSC: 68Q42 03B40 68R10 PDF BibTeX XML Cite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI OpenURL
Nakazawa, Koji; Fujita, Ken-etsu Compositional Z: confluence proofs for permutative conversion. (English) Zbl 1368.03020 Stud. Log. 104, No. 6, 1205-1224 (2016). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{K.-e. Fujita}, Stud. Log. 104, No. 6, 1205--1224 (2016; Zbl 1368.03020) Full Text: DOI OpenURL
Fujita, Ken-etsu; Kashima, Ryo; Komori, Yuichi; Matsuda, Naosuke Reduction rules for intuitionistic \(\lambda\rho\)-calculus. (English) Zbl 1378.03012 Stud. Log. 103, No. 6, 1225-1244 (2015). MSC: 03B40 03B20 03F03 PDF BibTeX XML Cite \textit{K.-e. Fujita} et al., Stud. Log. 103, No. 6, 1225--1244 (2015; Zbl 1378.03012) Full Text: DOI OpenURL