Revision history for entry Ranta, Aarne: Syntactic calculus with dependent types [RANSCW]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-31T18:23:10 | update | System / admin update |
2019-12-24T18:43:13 | update | System / admin update |
2017-02-23T07:46:26 | update | System / admin update |
2017-01-19T00:24:24 | update | System / admin update |
2014-03-30T06:21:50 | update | System / admin update |
2013-11-22T10:31:59 | update | System / admin update |
2010-10-02T05:24:27 | update | System / admin update |
loading ..