A representation of SFP
denotational semantics of programming languages
category of strongly finite sequent structures
scientific article; zbMATH DE number 563079