Higher-Order Algebra with Transfinite Types (1996)

Author(s): Steggles LJ

      • Date: 21-22 September 1995
      • Conference Name: Higher-Order Algebra, Logic, and Term Rewriting: 2nd International Workshop (HOA '95),
      • Volume: 1074
      • Pages: 238-263
      • Publisher: Springer-Verlag
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published
      Staff

      Dr Jason Steggles
      Senior Lecturer