Kripke Resource Models of a Dependently-typed, Bunched {lambda}-calculus

S Ishtiaq and DJ Pym

Details

Publication typeInproceedings
Published inComputer Science Logic
> Publications > Kripke Resource Models of a Dependently-typed, Bunched {lambda}-calculus