No matches were found for subject:"\[TYPES\] Foundations of Mathematics\: Type Theory after Church's Simple Theory of Types \(1940\)"