Model-Checking Games for Typed λ-Calculi

From MaRDI portal
Publication:2864164