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.
Time | Type | Notes |
2022-10-28T06:54:41 | update | System / admin update |
2021-04-13T15:46:14 | update | System / admin update |
2021-03-24T13:18:18 | update | System / admin update |
2021-03-21T12:55:48 | update | System / admin update |
2016-02-11T12:34:00 | update | |
2015-02-04T23:45:15 | update | System / admin update |
2014-03-22T06:09:19 | update | System / admin update |
2013-12-01T19:40:58 | update | System / admin update |
2013-11-22T13:41:32 | update | System / admin update |
2010-10-28T13:44:43 | update | System / admin update |
2010-10-01T19:47:07 | update | System / admin update |
2010-09-23T17:09:35 | add | System / admin update |
loading ..