Nakazawa, Koji; Fujita, Ken-etsu; Imagawa, Yuta Z property for the shuffling calculus. (English) Zbl 1509.03059 Math. Struct. Comput. Sci. 32, No. 7, 1015-1027 (2022). MSC: 03B40 PDFBibTeX XMLCite \textit{K. Nakazawa} et al., Math. Struct. Comput. Sci. 32, No. 7, 1015--1027 (2022; Zbl 1509.03059) Full Text: DOI
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 PDFBibTeX XMLCite \textit{K. Nakazawa} and \textit{K.-e. Fujita}, Stud. Log. 104, No. 6, 1205--1224 (2016; Zbl 1368.03020) Full Text: DOI
Nakazawa, Koji; Naya, Hiroto Strong reduction of combinatory calculus with streams. (English) Zbl 1326.03023 Stud. Log. 103, No. 2, 375-387 (2015). MSC: 03B40 PDFBibTeX XMLCite \textit{K. Nakazawa} and \textit{H. Naya}, Stud. Log. 103, No. 2, 375--387 (2015; Zbl 1326.03023) Full Text: DOI