A filter lambda model and the completeness of type assignment
scientific article