Linear Proofs in the Final Algebra

By thinking constantly about it…

Search form

Search

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

Kristian Augusts gate 23
0164 Oslo

Pilestredet 52
0167 Oslo

Thormøhlens gate 53D
5006 Bergen

Facebook LinkedIn Twitter