Publication

Found 4 results
Filters: Author is Tatsuji Kawai  [Clear All Filters]
2015
Kawai T.  2015.  Formally representable functions from N^N to N. Fifth Workshop on Formal Topology.
de Brecht M, Kawai T.  2015.  Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
de Brecht M, Kawai T.  2015.  Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
Kawai T.  2015.  A uniform continuity principle for the Baire space and a corresponding bar induction. Topology, Algebra, and Categories in Logic 2015.