Essays about: "partiell kombinatorisk algebra"
Found 1 essay containing the words partiell kombinatorisk algebra.
-
1. Realizability in Coq
University essay from KTH/Matematik (Avd.)Abstract : 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. READ MORE
Result pages:
1