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
2016-06-30T07:59:39updateSystem / admin update -
2016-02-11T22:41:22update
2015-02-05T01:51:01updateSystem / admin update -
2013-11-22T06:59:24updateSystem / admin update -