Res Publica: The Universal Model of Computation (Invited Talk).

Nachum Dershowitz

Browse the full CSL paper archive.