On the commutativity of the powerspace constructions M de Brecht, T Kawai Logical Methods in Computer Science 15, 2019 | 14 | 2019 |
On the commutativity of the powerspace constructions, Logic Mothods in Compt M Brecht, T Kawai Sci 15 (3), 1-13, 2019 | 7 | 2019 |
Predicative theories of continuous lattices T Kawai Logical Methods in Computer Science 17, 2021 | 6 | 2021 |
Completeness and cocompleteness of the categories of basic pairs and concrete spaces H Ishihara, T Kawai Mathematical Structures in Computer Science 25 (8), 1626-1648, 2015 | 6 | 2015 |
On the commutativity of the powerspace constructions, Log M de Brecht, T Kawai Methods Comput. Sci 15 (3), 2019 | 5 | 2019 |
A logical characterization of the continuous bar induction M Fujiwara, T Kawai Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical …, 2020 | 4 | 2020 |
Equivalents of the finitary non-deterministic inductive definitions A Hirata, H Ishihara, T Kawai, T Nemoto Annals of Pure and Applied Logic 170 (10), 1256-1272, 2019 | 4 | 2019 |
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli M Fujiwara, T Kawai Annals of Pure and Applied Logic 170 (8), 867-890, 2019 | 4 | 2019 |
Principles of bar induction and continuity on Baire space T Kawai arXiv preprint arXiv:1808.04082, 2018 | 4 | 2018 |
Formally continuous functions on Baire space T Kawai Mathematical Logic Quarterly 64 (3), 192-200, 2018 | 4 | 2018 |
Presenting de Groot duality of stably compact spaces T Kawai Theoretical Computer Science 823, 44-68, 2020 | 3 | 2020 |
Localic completion of uniform spaces T Kawai Logical Methods in Computer Science 13 (3:22), 1-39, 2017 | 3 | 2017 |
Geometric theories of patch and Lawson topologies T Kawai arXiv preprint arXiv:1709.06403, 2017 | 3 | 2017 |
From Intuitionistic Mathematics to Point-Free Topology T Kawai PROOF AND COMPUTATION II: From Proof Theory and Univalent Mathematics to …, 2022 | 2 | 2022 |
The principle of pointfree continuity T Kawai, G Sambin Logical Methods in Computer Science 15, 2019 | 2 | 2019 |
A point-free characterisation of Bishop locally compact metric spaces T Kawai Journal of Logic and Analysis 9, 2017 | 2 | 2017 |
Reflexive combinatory algebras MM Gijzen, H Ishihara, T Kawai Journal of Logic and Computation 33 (5), 937-960, 2023 | 1 | 2023 |
Decidable fan theorem and uniform continuity theorem with continuous moduli M Fujiwara, T Kawai Mathematical Logic Quarterly 67 (1), 116-130, 2021 | 1 | 2021 |
Representing definable functions of HAω by neighbourhood functions T Kawai Annals of Pure and Applied Logic 170 (8), 891-909, 2019 | 1 | 2019 |
A continuity principle equivalent to the monotone fan theorem T Kawai Archive for Mathematical Logic 58 (3), 443-456, 2019 | 1 | 2019 |