Finiteness in a Minimalist Foundation.

Francesco Ciraulo Giovanni Sambin Finiteness in a Minimalist Foundation. 51-68 2007 TYPES https://doi.org/10.1007/978-3-540-68103-8_4 conf/types/2007 db/conf/types/types2007.html#CirauloS07