Case Analysis of Higher-Order Data

Joshua Dunfield, Brigitte Pientka. Case Analysis of Higher-Order Data. Electronic Notes in Theoretical Computer Science, 228:69-84, 2009. [doi]

Abstract

Abstract is missing.