## Samin S. Ishtiaq, David J. Pym

*Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus*

CSL, 1999.

@inproceedings{CSL-1999-IshtiaqP, author = "Samin S. Ishtiaq and David J. Pym", booktitle = "{Proceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL}", doi = "10.1007/3-540-48168-0_17", isbn = "3-540-66536-6", pages = "235--249", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus}", volume = 1683, year = 1999, }