Game semantics for dependent types

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2018
Source ID
10.1016/j.ic.2018.02.015

Entities

People

  • Matthijs Vákár
  • Radha Jagadeesan
  • Samson Abramsky

Organizations

  • Air Force Office of Scientific Research
  • Engineering and Physical Sciences Research Council
  • John Templeton Foundation
  • National Science Foundation