Essays about: "Joakim Öhman"

Found 2 essays containing the words Joakim Öhman.

  1. 1. A Logical Relation for Dependent Type Theory Formalized in Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Joakim Öhman; [2017-02-27]
    Keywords : type theory; dependent types; logical relation; Agda; formalization;

    Abstract : When writing proofs, it is desirable to show that one’s proof is correct. With formalising a proof in dependent type theory, it is implied that the proof is correct as long as the type theory is correct. READ MORE

  3. 2. A general peer-to-peer based distributed computation network

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jack Pettersson; Leif Schelin; Niklas Wärvik; Joakim Öhman; [2014-09-23]
    Keywords : ;

    Abstract : We consider how a decentralised computation system would work when each participant could create computation code as well as executing other participants’ code. A protocol is proposed that allows such collaboration to take place, assuming that no participant can be trusted. READ MORE