Show simple item record

dc.contributorHamilton Institute, Maynooth Universityen
dc.contributor.authorButterfield, Andrew
dc.date.accessioned2024-03-19T10:30:41Z
dc.date.available2024-03-19T10:30:41Z
dc.date.issued2023
dc.date.submitted2023en
dc.identifier.citationAndrew Butterfield, Unifying Theories of Programming, Hamilton Institute Seminar, Maynooth University, Maynooth, 2023en
dc.identifier.otherN
dc.identifier.urihttp://hdl.handle.net/2262/107331
dc.descriptionPRESENTEDen
dc.descriptionMaynooth University, Maynoothen
dc.language.isoenen
dc.rightsYen
dc.titleUnifying Theories of Programmingen
dc.title.alternativeHamilton Institute Seminaren
dc.type.supercollectionscholarly_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/butrfeld
dc.identifier.rssinternalid264121
dc.rights.ecaccessrightsopenAccess
dc.subject.TCDTagFormal (i.e. mathematical) Methods In Computer Scienceen
dc.subject.TCDTagProgram Verificationen
dc.subject.TCDTagTheoretical Computer Scienceen
dc.identifier.orcid_id0000-0002-2337-2101
dc.status.accessibleNen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record