Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.

Samin S. Ishtiaq, David J. Pym

Browse the full CSL paper archive.