Preface to the special issue: Computing with infinite data: topological and logical foundations

DOI10.1017/S0960129513000364MaRDI QIDQ5740662zbMATH OpenOpenAlexFDO

Authors

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129513000364

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to general topology (54-06)

Recommendations

• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2014
• Preface to the special issue for The Fifth Workshop on Formal Topology
• Preface to the MSCS Issue 31.1 (2021) Homotopy type theory and univalent foundations. II
• Preface

Cited in

(3)

• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2014
• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
• On the main scientific achievements of Victor Selivanov

This page was built for publication: Preface to the special issue: Computing with infinite data: topological and logical foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740662)