Open AccessPreface to the special issue for The Fifth Workshop on Formal Topology
Author(s) -
Thierry Coquand,
Maria Emilia Maietti,
Erik Palmgren
Publication year - 2019
Publication title -
journal of logic and analysis
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.278
H-Index - 4
ISSN - 1759-9008
DOI - 10.4115/jla.2019.11.ft0
Subject(s) - mathematics , topology (electrical circuits) , combinatorics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom