Browsing Theoretical Computer Science Group by Subject "cs.LO"

Now showing items 1-3 of 3

    • Introduction to Categories and Categorical Logic 

      Abramsky, S; Tzevelekos, N
      The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. ...

    • Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions 

      Chen, H; Malacaria, P
      When studying the information leakage in programs or protocols, a natural question arises: "what is the worst case scenario?". This problem of identifying the maximal leakage can be seen as a channel capacity problem in ...

    • Trace Properties from Separation Logic Specifications 

      Birkedal, L; Dinsdale-Young, T; Jaber, G; Svendsen, K; Tzevelekos, N
      We propose a formal approach for relating abstract separation logic library specifications with the trace properties they enforce on interactions between a client and a library. Separation logic with abstract predicates ...