Now showing items 1-1 of 1

    • A Theory of Effects and Resources: Adjunction Models and Polarised Calculi 

      Curien, Pierre-Louis; Fiore, Marcelo; Munch-Maccagnoni, Guillaume (Association for Computing Machinery, 2016-01-11)
      We consider the Curry-Howard-Lambek correspondence for effectful computation and resource management, specifically proposing polarised calculi together with presheaf-enriched adjunction models as the starting point for a ...