Representation of Peano Arithmetic in Separation Logic.

Sohei Ito, Makoto Tatsuta

Browse the full FSCD paper archive.