Skip to content

Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments.

Joseph Eremondi

VenueBCPP
Year2024
ProceedingsCPP

Browse the full CPP paper archive.