Cut Elimination, Substitution and Normalisation.

Autor: Dyckhoff, Roy
Zdroj: Dag Prawitz on Proofs & Meaning; 2015, p163-187, 25p
Databáze: Complementary Index
Externí odkaz: