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

In  Computer Science Logic

Details

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