Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus (Extended Abstract) (1999)

by Samin Ishtiaq , David J. Pym
Citations:8 - 6 self