Waldhausen K-theory

GPTKB entity