• Mathematics
  • Published 1965

An algebraic formulation of cut-elimination theorem

@inproceedings{1965AnAF,
  title={An algebraic formulation of cut-elimination theorem},
  author={慧子 千谷},
  year={1965}
}