Wellordering two sorts a slow-growing proof theory for variable separation
The thesis was published by
,
in September 2022,
University of Bern.
Abstract: