Barendregt H., Longo G. ...