SHF: Small: A Higher-Order Framework for Meta-Theoretic

Project: Research project

Project Details

Description

SHF: Small: A Higher-Order Framework for Meta-Theoretic Reasoning
StatusFinished
Effective start/end date7/1/16 → 9/30/22

Funding

  • THE NATIONAL SCIENCE FOUNDATION