Software Verification With Directed Type Theory
Abstract
This YIP proposal offers a new perspective in Directed Type Theory, a Dependent Type Theory that encodes the notion of directions, e.g., temporal flow of information.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Dec 05, 2016
- Source ID
- FA95501610292
Entities
People
- Daniel Licata
Organizations
- Air Force Office of Scientific Research
- United States Air Force
- Wesleyan University