Publication

Found 1 results
Filters: Author is Kazushige Terui  [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.