cut-elimination (Q6481811)

From MaRDI portal





theorem
  • Cut-elimination theorem
Language Label Description Also known as
English
cut-elimination
theorem
  • Cut-elimination theorem

Statements

Identifiers