Tatsuji Kawai, Giovanni Sambin, The principle of pointfree continuity, Logical Methods in Computer Science, Volume 15, Issue 1 (March 5, 2019). (doi:10.23638/LMCS-15%281%3A22%292019, arXiv:1802.04512)
Tatsuji Kawai, Principles of bar induction and continuity on Baire space (arXiv:1808.04082)
Tatsuji Kawai, Representing definable functions of by neighbourhood functions (arXiv:1901.11270)
Created on April 14, 2025 at 18:28:48. See the history of this page for a list of all contributions to it.