Game semantics for dependent types
scientific article; zbMATH DE number 6889864
scientific article