Slide 1 Termination Checking = Type Checking Structural Recursion beyond Subterm Ordering
by Andreas Abel
http://www.tcs.informatik.uni-muenchen.de/~abel/talkISS.ps.gz
Add To MetaCart
Abstract:
Citations
| 88 | The size-change principle for program termination – Lee, Jones, et al. - 2001 |
| 33 | A predicative analysis of structural recursion – Abel, Altenkirch - 2000 |
| 16 | Resource bound certi – Crary, Weirich - 2000 |
| 13 | Structural recursive de in type theory – Gimenez - 1998 |
