| dc.contributor | Hamilton Institute, Maynooth University | en |
| dc.contributor.author | Butterfield, Andrew | |
| dc.date.accessioned | 2024-03-19T10:30:41Z | |
| dc.date.available | 2024-03-19T10:30:41Z | |
| dc.date.issued | 2023 | |
| dc.date.submitted | 2023 | en |
| dc.identifier.citation | Andrew Butterfield, Unifying Theories of Programming, Hamilton Institute Seminar, Maynooth University, Maynooth, 2023 | en |
| dc.identifier.other | N | |
| dc.description | PRESENTED | en |
| dc.description | Maynooth University, Maynooth | en |
| dc.language.iso | en | en |
| dc.rights | Y | en |
| dc.title | Unifying Theories of Programming | en |
| dc.title.alternative | Hamilton Institute Seminar | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | |
| dc.identifier.rssinternalid | 264121 | |
| dc.rights.ecaccessrights | openAccess | |
| dc.subject.TCDTag | Formal (i.e. mathematical) Methods In Computer Science | en |
| dc.subject.TCDTag | Program Verification | en |
| dc.subject.TCDTag | Theoretical Computer Science | en |
| dc.identifier.orcid_id | 0000-0002-2337-2101 | |
| dc.status.accessible | N | en |
| dc.identifier.uri | http://hdl.handle.net/2262/107331 | |
