Weak typed Böhm theorem on IMLL
scientific article; zbMATH DE number 5126398