Title: A relational theory of computing
Subjects: Computer programming, Metamathematics