Polymorphic Game Semantics for Dynamic Binding

Research output: Contribution to conference › Paper › peer-review

1 results

Filter

Finished
Semantic Types for Verified Program Behaviour
Laird, J.
Engineering and Physical Sciences Research Council
28/02/14 → 31/07/17
Project: Research council