Linear Proofs in the Final AlgebraAuthorsO. LysneStatusPublishedPublication typeTechnical ReportsYear of publication1993Journal-PublisherDepartment of Informatics, University of OsloCitation key13000Google Scholar BibTex