O'Donnel, Michael "A programming language theorem which is independent of Peano arithmetic" 11th Annual ACM Symposium on Theory of Computing, 176-186, May 1979
(1979)
Languages mentioned
ELP
{1975}
MODEL
{1975}
Pasqual
{1974}