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

#formalmethods #plt