BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
set (2)
replac (1)
extract (1)
correspond (1)
semant (1)

Stem izf$ (all stems)

3 papers:

CSLCSL-2006-Moczydlowski #normalisation
Normalization of IZF with Replacement (WM), pp. 516–530.
IJCARIJCAR-2006-ConstableM #proving #semantics #source code
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics (RLC, WM), pp. 162–176.
CSLCSL-2003-Miquel #normalisation #set
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory (AM), pp. 441–454.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.