Completeness and cocompleteness of the categories of basic pairs and concrete spaces. - Hajime Ishihara; Tatsuji Kawai (Math. Struct. Comput. Sci., 2015)

Geometric theories of patch and Lawson topologies. - Tatsuji Kawai (CoRR, 2017)

Point-free characterisation of Bishop compact metric spaces. - Tatsuji Kawai (J. Log. Anal., 2017)

A point-free characterisation of Bishop locally compact metric spaces. - Tatsuji Kawai (J. Log. Anal., 2017)

Localic completion of uniform spaces. - Tatsuji Kawai (Log. Methods Comput. Sci., 2017)

The principle of point-free continuity. - Tatsuji Kawai; Giovanni Sambin (CoRR, 2018)

Factorizing the Top-Loc adjunction through positive topologies. - Francesco Ciraulo; Tatsuji Kawai; Samuele Maschio (CoRR, 2018)

Formally continuous functions on Baire space. - Tatsuji Kawai (Math. Log. Q., 2018)

A continuity principle equivalent to the monotone Π10 fan theorem. - Tatsuji Kawai (Arch. Math. Log., 2019)

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. - Makoto Fujiwara; Tatsuji Kawai (Ann. Pure Appl. Log., 2019)

Equivalents of the finitary non-deterministic inductive definitions. - Ayana Hirata; Hajime Ishihara; Tatsuji Kawai; Takako Nemoto (Ann. Pure Appl. Log., 2019)

Representing definable functions of HAω by neighbourhood functions. - Tatsuji Kawai (Ann. Pure Appl. Log., 2019)

Principles of bar induction and continuity on Baire space. - Tatsuji Kawai (J. Log. Anal., 2019)

On the commutativity of the powerspace constructions. - Matthew de Brecht; Tatsuji Kawai (Log. Methods Comput. Sci., 2019)

The principle of pointfree continuity. - Tatsuji Kawai; Giovanni Sambin (Log. Methods Comput. Sci., 2019)

Presenting de Groot duality of stably compact spaces. - Tatsuji Kawai (Theor. Comput. Sci., 2020)

Factorizing the $ mathbf {Top}$-$ mathbf {Loc}$ adjunction through positive topologies. - Francesco Ciraulo; Tatsuji Kawai; Samuele Maschio (Arch. Math. Log., 2021)

Characterising Brouwer's continuity by bar recursion on moduli of continuity. - Makoto Fujiwara; Tatsuji Kawai (Arch. Math. Log., 2021)

Algebraic combinatory models. - Marlou M. Gijzen; Hajime Ishihara; Tatsuji Kawai (CoRR, 2021)

Predicative theories of continuous lattices. - Tatsuji Kawai (Log. Methods Comput. Sci., 2021)

Decidable fan theorem and uniform continuity theorem with continuous moduli. - Makoto Fujiwara; Tatsuji Kawai (Math. Log. Q., 2021)

A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. - Kento Tanaka; Toshiaki Aoki; Tatsuji Kawai; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (COMPSAC, 2022)

Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. - Kento Tanaka; Toshiaki Aoki; Tatsuji Kawai; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (ENASE, 2023)

Reflexive combinatory algebras. - Marlou M. Gijzen; Hajime Ishihara; Tatsuji Kawai (J. Log. Comput., 2023)

Coding of real-valued continuous functions under WKL $ mathsf {WKL}$. - Tatsuji Kawai (Math. Log. Q., 2023)

Modeling Language for Scenario Development of Autonomous Driving Systems. - Toshiaki Aoki; Takashi Tomita; Tatsuji Kawai; Daisuke Kawakami; Nobuo Chida (FormaliSE, 2025)