Table of Contents

Computer Science

• Papers
  • Final shift for call/cc
• Books
  • The Reasoned Schemer
• Posts
  • A logic language for business logic

Christian faith (in Italian)

• Trattato sulla preghiera del Padre Nostro di san Cipriano di Cartagine