AuthorsO. Lysne
TitleLinear Proofs in the Final Algebra
StatusPublished
Publication TypeTechnical reports
Year of Publication1993
Number139
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.Lysne.1993.b