From realizability to induction via dependent intersection

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 01, 2018
Source ID
10.1016/j.apal.2018.03.002

Entities

People

  • Aaron Stump

Organizations

  • National Science Foundation
  • United States Department of Defense