Polynomial time in untyped elementary linear logic
scientific article; zbMATH DE number 7191311
scientific article