Kowalski, Tomasz, La Trobe University

• The Australasian Journal of Logic Vol. 17 No. 2 (2020): The Australasian Journal of Logic - Articles
  Free lattices proof-theoretically
  Abstract  PDF