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
StatusActive
Effective start/end date7/1/166/30/21

Funding

  • National Science Foundation