Project Details
| Short title | Recursion, guarded recursion and computational effects |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/16 → 31/12/19 |
Funding
- Engineering & Physical Science Research Council
Recursion, guarded recursion and computational effects
- Levy, Paul (Principal Investigator)