Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus
scientific article; zbMATH DE number 1022205
scientific article