Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Authors
O. Lysne
Title
Linear Proofs in the Final Algebra
Status
Published
Publication Type
Technical reports
Year of Publication
1993
Number
139
Publisher
Department of Informatics, University of Oslo
Citation Key
ND.7.Lysne.1993.b
Google Scholar
BibTeX