Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 9/1/13 → 8/31/17 |
Complexity and feasibility for programs over coinductively-defined data: SHF:Small:Collaborative
- Royer, James (PI)
Project: Sponsored Project
Project: Sponsored Project
| Status | Finished |
|---|---|
| Effective start/end date | 9/1/13 → 8/31/17 |