Publications

Liam O'Connor and Rayhana Amjad
Holbert: Reading, Writing, Proving and Learning in the Browser
Human Aspects of Types and Reasoning Assistants (HATRA), Auckland, New Zealand, 2022.
Live version - arXiv - Talk on YouTube

Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
Semantics for Linear-time Temporal Logic with Finite Observations
Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics (EXPRESS/SOS), Calgary, Alberta, Canada, 2024.
EPTCS - arXiv