A linear logical framework
scientific article; zbMATH DE number 1964180
scientific article