Sökning: "partial combinatory algebra"
Hittade 1 uppsats innehållade orden partial combinatory algebra.
1. Realizability in Coq
Master-uppsats, KTH/Matematik (Avd.)Sammanfattning : This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra there is an associated realizability interpretation. I construct two partial combinatory algebras. LÄS MER
Resultatsidor:
1