Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Semantics-Mathematical models"'
Autor:
Thomas Piecha, Peter Schroeder-Heister
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of d
