Unifying Theories of Programming

This item is OpenAccessThis item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more
Share this page with addthis.com
Thumbnail
File Type:
PDF
Date:
2023
Author:
Access:
openAccess
Citation:
Andrew Butterfield, Unifying Theories of Programming, Hamilton Institute Seminar, Maynooth University, Maynooth, 2023
Download Item:
URI:
http://hdl.handle.net/2262/107331
Author's Homepage:
http://people.tcd.ie/butrfeld
Description:
PRESENTED
Maynooth University, Maynooth
Author: Butterfield, Andrew
Other Titles:
Hamilton Institute Seminar
Contributors:
Hamilton Institute, Maynooth University
URI:
http://hdl.handle.net/2262/107331
Collections
Availability:
Full text available
Subject (TCD):
Formal (i.e. mathematical) Methods In Computer Science , Program Verification , Theoretical Computer Science
Metadata
Show full item record

The following license files are associated with this item: