Types as graphs: Continuations in type logical grammar
scientific article; zbMATH DE number 5532508
scientific article