Extensional Collapse Situations I: non-termination and unrecoverable errors
Extensional Uniformity for Boolean Circuits
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic<br> Semantics
Extremal problems in logic programming and stable model computation