Coherence Spaces for Computable Analysis II

Coherence Spaces for Computable Analysis II

TitleCoherence Spaces for Computable Analysis II
Publication TypeUnpublished
Year of Publication2015
AuthorsMatsumoto K, Terui K
Series TitleContinuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany
Date Published09/2015
Undefined