Pages that link to "Item:Q3613407"
From MaRDI portal
The following pages link to Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics (Q3613407):
Displayed 3 items.
The following pages link to Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics (Q3613407):
Displayed 3 items.