Revision history for entry van Bakel, Steffen: Cut-Elimination in the Strict Intersection Type Assignment.. [STECIT-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-28T06:54:41updateSystem / admin update
2021-04-13T15:46:14updateSystem / admin update
2021-03-24T13:18:18updateSystem / admin update
2021-03-21T12:55:48updateSystem / admin update
2016-02-11T12:34:00update
2015-02-04T23:45:15updateSystem / admin update
2014-03-22T06:09:19updateSystem / admin update
2013-12-01T19:40:58updateSystem / admin update
2013-11-22T13:41:32updateSystem / admin update
2010-10-28T13:44:43updateSystem / admin update
2010-10-01T19:47:07updateSystem / admin update
2010-09-23T17:09:35addSystem / admin update