Metadata
| Item Type: | Proceedings Paper |
|---|---|
| Authors/Creators: |
|
| Copyright, Publisher and Additional Information: | © 2025 The Authors. Except as otherwise noted, this author-accepted version of a journal article published in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) is made available via the University of Sheffield Research Publications and Copyright Policy under the terms of the Creative Commons Attribution 4.0 International License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/ |
| Keywords: | Computer science; Computational modeling; Semantics; Logic; Standards |
| Dates: |
|
| Institution: | The University of Sheffield |
| Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
| Funding Information: | Funder Grant number ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL EP/V039156/1 ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL EP/X015114/1 |
| Date Deposited: | 13 Jan 2026 10:32 |
| Last Modified: | 19 Jan 2026 09:54 |
| Status: | Published |
| Publisher: | Institute of Electrical and Electronics Engineers |
| Refereed: | Yes |
| Identification Number: | 10.1109/lics65433.2025.00008 |
| Related URLs: | |
| Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:236445 |
Download
Filename: completingGordonHOL.pdf
Licence: CC-BY 4.0
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)