Return to Article Details The Theory of an Arbitrary Higher \(\lambda\)-Model Download Download PDF