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

Microsoft Translator |

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

S Ishtiaq and DJ Pym
1999

In Computer Science Logic

Details

Type	Inproceedings

Related People

Samin Ishtiaq

Share

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