There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Coq formalization of a logical relations proof of type safety for a type system with session types, unique/shareable references, using the Iris concurrent separation logic
