Skip to main navigation
Skip to search
Skip to main content
University of Strathclyde Home
Help & FAQ
Link opens in a new tab
Search content at University of Strathclyde
Home
Profiles
Research units
Research output
Projects
Datasets
Equipment
Student theses
Impacts
Prizes
Activities
Contributed talk TYPES 2015: "The encode-decode method, relationally"
Nordvall Forsberg, F.
(Speaker)
James McKinna (Contributor)
Computer And Information Sciences
SICSA
Mathematically Structured Programming
Activity
:
Talk or Presentation
›
Oral presentation
Period
20 May 2015
Event title
21st International Conference on Types for Proofs and Programs
Event type
Conference
Location
Tallinn, Estonia
Show on map
Documents & Links
Abstract "The encode-decode method, relationally"
File
:
application/pdf, 262 KB
Type
:
Text
X