Relating structure and power: comonadic semantics for computational resources (extended abstract)
scientific article; zbMATH DE number 6962928