Sökning: "partial combinatory algebra"

Hittade 1 uppsats innehållade orden partial combinatory algebra.

  1. 1. Realizability in Coq

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Anders Lundstedt; [2015]
    Nyckelord :Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    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