Game Semantics and Subtyping (1999)

Cached

Download Links

by Juliusz Chroboczek
Venue:In Proceedings of the fifteenth annual IEEE symposium on Logic in Computer Science
Citations:15 - 1 self