Revision history for entry Turing, A. M.: Practical forms of type theory [TURPFO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-06-09T14:51:10updateSystem / admin update
2017-03-05T04:09:19update
2017-02-01T19:34:38updateSystem / admin update
2017-01-19T02:49:06updateSystem / admin update
2016-06-30T12:34:35updateSystem / admin update
2015-02-05T07:16:26updateSystem / admin update
2013-12-09T09:43:07updateSystem / admin update
2013-11-22T11:43:00updateSystem / admin update