Cut Elimination, Substitution and Normalisation.
Autor: | Dyckhoff, Roy |
---|---|
Zdroj: | Dag Prawitz on Proofs & Meaning; 2015, p163-187, 25p |
Databáze: | Complementary Index |
Externí odkaz: |
Autor: | Dyckhoff, Roy |
---|---|
Zdroj: | Dag Prawitz on Proofs & Meaning; 2015, p163-187, 25p |
Databáze: | Complementary Index |
Externí odkaz: |