Proof-search in type-theoretic languages: An introduction
scientific article; zbMATH DE number 1495210
scientific article