Tatsuji Kawai

According to our database, Tatsuji Kawai authored at least 25 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Coding of real-valued continuous functions under WKL $\mathsf {WKL}$.

Tatsuji Kawai

Math. Log. Q., August, 2023

Reflexive combinatory algebras.

Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai

J. Log. Comput., July, 2023

Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

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

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Decidable fan theorem and uniform continuity theorem with continuous moduli.

Makoto Fujiwara, Tatsuji Kawai

Math. Log. Q., 2021

Predicative theories of continuous lattices.

Tatsuji Kawai

Log. Methods Comput. Sci., 2021

Algebraic combinatory models.

Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai

CoRR, 2021

Characterising Brouwer's continuity by bar recursion on moduli of continuity.

Makoto Fujiwara, Tatsuji Kawai

Arch. Math. Log., 2021

Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

Arch. Math. Log., 2021

2020

Presenting de Groot duality of stably compact spaces.

Tatsuji Kawai

Theor. Comput. Sci., 2020

2019

The principle of pointfree continuity.

Tatsuji Kawai, Giovanni Sambin

Log. Methods Comput. Sci., 2019

On the commutativity of the powerspace constructions.

Matthew de Brecht, Tatsuji Kawai

Log. Methods Comput. Sci., 2019

Principles of bar induction and continuity on Baire space.

Tatsuji Kawai

J. Log. Anal., 2019

Representing definable functions of HA^<i>ω</i> by neighbourhood functions.

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

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.

Makoto Fujiwara, Tatsuji Kawai

Ann. Pure Appl. Log., 2019

A continuity principle equivalent to the monotone Π¹₀ fan theorem.

Tatsuji Kawai

Arch. Math. Log., 2019

2018

Formally continuous functions on Baire space.

Tatsuji Kawai

Math. Log. Q., 2018

Factorizing the Top-Loc adjunction through positive topologies.

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

CoRR, 2018

The principle of point-free continuity.

Tatsuji Kawai, Giovanni Sambin

CoRR, 2018

2017

Localic completion of uniform spaces.

Tatsuji Kawai

Log. Methods Comput. Sci., 2017

A point-free characterisation of Bishop locally compact metric spaces.

Tatsuji Kawai

J. Log. Anal., 2017

Point-free characterisation of Bishop compact metric spaces.

Tatsuji Kawai

J. Log. Anal., 2017

Geometric theories of patch and Lawson topologies.

Tatsuji Kawai

CoRR, 2017

2015

Completeness and cocompleteness of the categories of basic pairs and concrete spaces.

Hajime Ishihara, Tatsuji Kawai

Math. Struct. Comput. Sci., 2015