Avraham Avinu considered that Hashem was able to bring about the Techiyas HaMesim, from which he also received back Yitzchak as a tipus (type, pattern).