Jan A. Bergstra

• Promise Theory
• Algebraic Methods
• Instruction Sequences For Computer Science
• Instruction Sequences for Computer Science
• Money, Ownership. and Agency
• Promises and Threats by Asymmetric Nuclear-Weapon States