The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.

Jerzy Mycka, Francisco Coelho, Jos Flix Costa

Browse the full UC paper archive.