Normalization of IZF with Replacement
Logical Methods in Computer ScienceVol.4(2:1)2008,pp.1–29www.lmcs-onlineAbstract.IZF is a well investigated impredicative constructive version of Zermelo-Fraen-kel t theory.Using t terms,we ax
时间:2023-07-25 热度:11℃