Semi-continuous sized types and termination

by Andreas Abel
Venue:Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Citations:10 - 5 self