8 citations · 20 across the 14 of their papers we have counts for
1 paper · 2 filters
Marcoen J. T. F. Cabbolet
Recently Feferman (Rev. Symb. Logic 6: 6-15, 2013) has outlined a program for the development of a foundation for naive category theory. While Ernst (ibid. 8: 306-327, 2015) has sh…