O'Donnell, M. A "Programming Language Theorem which is Independent of Peano Arithmetic" Purdue University Dept. of Computer Sciences Technical Report #299 1979

Languages mentioned

• ELP {1975}