Linear Proofs in the Final Algebra

Linear Proofs in the Final Algebra

Authors
O. Lysne