Revision history for entry Pottinger, Garrel: The Church-Rosser theorem for the typed $\lambda$-calculus .. [GARTCT-3]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2021-04-13T16:00:47 | update | System / admin update |
2021-03-24T13:21:33 | update | System / admin update |
2021-03-21T12:58:12 | update | System / admin update |
2019-02-05T00:47:51 | update | System / admin update |
2017-02-07T16:03:29 | update | System / admin update |
2015-02-04T23:44:05 | update | System / admin update |
2013-12-01T19:35:39 | update | System / admin update |
2013-12-01T19:35:36 | update | System / admin update |
2013-11-22T13:37:38 | update | System / admin update |
2013-11-04T11:10:02 | update | System / admin update |
2010-10-28T13:43:36 | update | System / admin update |
2010-10-01T19:44:35 | update | System / admin update |
2010-09-23T17:07:51 | add | System / admin update |
loading ..