Centre for Mathematics, University of Coimbra

<Specific Information> <Reference List>
Type:	Chapter of Book
National /International:	International
Title:	Pointfree topology and constructive mathematics
Publication Date:	2025
Authors:	- Graham Richard Manuell
Book Title:	Lecture Notes of the School on Topology, Algebra, and Categories in Logic (TACL 2022)
Organizers:	Maria Manuel Clementino, Mai Gehrke, Jorge Picado
Pages:	1-52
Editor:	Springer
Location of publication:	Cham
Online version:	https://www.springer.com/series/16723
Download:	Not available