On Strong Stability and Higher-Order Sequentiality

Loïc Colson, Thomas Ehrhard. On Strong Stability and Higher-Order Sequentiality. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 103-108, IEEE Computer Society, 1994.

Abstract

Abstract is missing.