Characterizing partitioned assemblies and realizability toposes

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2019
Source ID
10.1016/j.jpaa.2018.08.012

Entities

People

  • Jonas Frey

Organizations

  • Air Force Office of Scientific Research
  • European Research Council
  • Independent Research Fund Denmark