Skip to main content
Hans-Dieter Hiep

Hans-Dieter Hiep

21 posts published
Amsterdam, the Netherlands
November 2023

Formulas

Propositional logic
November 2023

Reynolds' logic

November 2023

Separation logic

November 2023
November 2023

Functional programming

November 2023

Dynamic logic

November 2023

Procedural programming

November 2023

Hoare's logic

November 2023

Imperative programming

November 2023

Data types

November 2023

Arithmetic

November 2023

First-order logic

November 2023

Propositional logic

November 2023
November 2023

Ideas and Vision

Q3 2023
November 2023
November 2023
May 2023
March 2023
February 2023