A typed language has the subject reduction property if reduction preserves types.
Formally: if and , then .
Author: Nicholas Coltharp (mail@heraplem.xyz)
Last modified: 2026-07-27 Mon 19:50
Emacs 31.1 (Org mode 9.8.7)
Validate