Login / Signup
Graham Manuell
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Multi Frame
Lower Bound
Design Space
Batch Processing
Top Venues
Appl. Categorical Struct.
CoRR
</>
Publications
</>
Graham Manuell
Presenting Quotient Locales.
Appl. Categorical Struct.
31 (4) (2023)
Graham Manuell
Correction: Presenting Quotient Locales.
Appl. Categorical Struct.
31 (5) (2023)
Peter F. Faul
,
Graham Manuell
Machine Space I: Weak exponentials and quantification over compact spaces.
CoRR
(2022)
Graham Manuell
A simple lower bound for ARRIVAL.
CoRR
(2021)
Graham Manuell
Strictly Zero-Dimensional Biframes and a Characterisation of Congruence Frames.
Appl. Categorical Struct.
26 (4) (2018)