Per Martin-Lof

Per Martin-Lof: Een fundament voor constructieve wiskunde Een getypeerde functionele programmeertaal Een raamwerk voor formele verificatie