Explicit composition and its application in proofs of normalization

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationAdvances in Proof-Theoretic Semantics
RedaktörerThomas Piecha, Peter Schroeder-Heister
Antal sidor14
FörlagSpringer
Utgivningsdatum5 jan 2016
Sidor139-152
ISBN (tryckt)978-3-319-22685-9
DOI
StatusPublicerad - 5 jan 2016
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Vetenskapsgrenar

  • 611 Filosofi

Citera det här