An Investigation of Kripke-style Modal Type Theories

06/15/2022
by   Jason Z. S. Hu, et al.
0

This technical report investigates Kripke-style modal type theories, both simply typed and dependently typed. We examine basic meta-theories of the type theories, develop their substitution calculi, and give normalization by evaluation algorithms.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset