Monoids with tests and the algebra of possibly non-halting programs Academic Article uri icon

publication date

  • 2015