Syntactic forcing models for coherent logic

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 01, 2018
Source ID
10.1016/j.indag.2018.06.004

Entities

People

  • Marc Bezem
  • Thierry Coquand
  • Ulrik Buchholtz

Organizations

  • Air Force Office of Scientific Research