Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
> Publications > Kripke Resource Models of a Dependently-typed, Bunched {lambda}-calculus