projects
Detail
Publication date: 1 de June, 2021Rewriting and Algebraic Data Types
Devise novel techniques to prove termination of
higher-order programs with algebraic data types.
Devise novel techniques to prove termination of
higher-order programs with algebraic data types.
| Sname | Rew |
|---|---|
| Funding Total | 2 |
| Funding Center | 1 |
| State | Concluded |
| Startdate | 01/03/2000 |
| Enddate | 01/03/2003 |