128
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...