Foundational Theories of Classical and Constructive