Report - st& order typing rules SN and redex creationpauillac.inria.fr/~levy/talks/12cea/sn-f-4.pdf · Weak vs Strong Normalisation 7 M F 1 F 2 F n M 1 M 2 M n R 1 R 2 R 3 R 4 R 5 =N P 1 P

Please pass captcha verification before submit form