Tatsuji Kawai

Orcid: 0000-0003-1247-5663

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Coding of real-valued continuous functions under WKL $\mathsf {WKL}$.
Math. Log. Q., August, 2023

Reflexive combinatory algebras.
J. Log. Comput., July, 2023

Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.
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.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021
Decidable fan theorem and uniform continuity theorem with continuous moduli.
Math. Log. Q., 2021

Predicative theories of continuous lattices.
Log. Methods Comput. Sci., 2021

Algebraic combinatory models.
CoRR, 2021

Characterising Brouwer's continuity by bar recursion on moduli of continuity.
Arch. Math. Log., 2021

Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.
Arch. Math. Log., 2021

2020
Presenting de Groot duality of stably compact spaces.
Theor. Comput. Sci., 2020

2019
The principle of pointfree continuity.
Log. Methods Comput. Sci., 2019

On the commutativity of the powerspace constructions.
Log. Methods Comput. Sci., 2019

Principles of bar induction and continuity on Baire space.
J. Log. Anal., 2019

Representing definable functions of HA<sup><i>ω</i></sup> by neighbourhood functions.
Ann. Pure Appl. Log., 2019

Equivalents of the finitary non-deterministic inductive definitions.
Ann. Pure Appl. Log., 2019

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.
Ann. Pure Appl. Log., 2019

A continuity principle equivalent to the monotone Π<sup>1</sup><sub>0</sub> fan theorem.
Arch. Math. Log., 2019

2018
Formally continuous functions on Baire space.
Math. Log. Q., 2018

Factorizing the Top-Loc adjunction through positive topologies.
CoRR, 2018

The principle of point-free continuity.
CoRR, 2018

2017
Localic completion of uniform spaces.
Log. Methods Comput. Sci., 2017

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

Point-free characterisation of Bishop compact metric spaces.
J. Log. Anal., 2017

Geometric theories of patch and Lawson topologies.
CoRR, 2017

2015
Completeness and cocompleteness of the categories of basic pairs and concrete spaces.
Math. Struct. Comput. Sci., 2015


  Loading...