Publication

Found 1 results
Filters: Author is Kei Matsumoto  [Clear All Filters]
2015
Matsumoto K, Terui K.  2015.  Coherence Spaces for Computable Analysis II. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.