Revision history for entry Titani, Satoko (1973). "A proof of the cut-elimination theorem in simple type theory" [TITAPO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-11-22T06:59:24updateSystem / admin update -