O'Donnell, Michael J.

1952

• Equational logic as a programming language
• Computing in systems described by equations
• Constructivity in computer science
• Penance in the early church
• An ordinary family