Stem izf$ (all stems)

3 papers:

CSL-2006-Moczydlowski #normalisation

Normalization of IZF with Replacement (WM), pp. 516–530.

IJCAR-2006-ConstableM #proving #semantics #source code

Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics (RLC, WM), pp. 162–176.

CSL-2003-Miquel #normalisation #set

A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory (AM), pp. 441–454.