mcopes73 / standardization-agda Goto Github PK
View Code? Open in Web Editor NEWA machine checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution. The proof hereby presented follows the structure of the one presented by Ryo Kashima.