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

Document Versions

Semi-continuous sized types and termination –Andreas Abel — In Zoltán Ésik, editor, Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Semi-continuous sized types and termination –Andreas Abel — In Zoltán Ésik, editor, Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Semi-continuous sized types and termination –Andreas Abel — Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Semi-continuous sized types and termination –Andreas Abel — Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
Semi-continuous sized types and termination –Andreas Abel — Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL