Posts Tagged ‘stabilizing’
Mathematical Foundations of Programming This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series …