Semi-continuous sized types and termination

by Andreas Abel
Venue:In Zoltán Ésik, editor, Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Citations:10 - 5 self