A compositional treatment of iterated open games

Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg

Research output: Contribution to journal › Article › peer-review

12 Citations (Scopus)

69 Downloads (Pure)

3 results

Filter

Finished
Coalgebraic Foundations of Semi-Structured Data (EPSRC First Grant)
Kupke, C. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/02/16 → 31/01/18
Project: Research
Homotopy Type Theory: Programming and Verification
Ghani, N. (Principal Investigator) & McBride, C. (Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 30/09/19
Project: Research
Logical Relations for Program Verification
Ghani, N. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
30/09/13 → 29/09/17
Project: Research