How can we compare expressive power between two Turing-complete languages? (via dpk) — discussion
#formalmethods #plt
