Revision history for entry Parigot, Michel: Proofs of strong normalisation for second order classical nat.. [PARPOS]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-02-06T06:42:46 | update | System / admin update |
2017-04-23T10:24:49 | update | System / admin update |
2016-06-30T13:11:57 | update | System / admin update |
2016-02-11T11:54:43 | update | |
2015-03-17T09:03:57 | update | System / admin update |
2015-02-05T06:57:42 | update | System / admin update |
2014-03-31T03:53:12 | update | System / admin update |
2013-11-22T12:09:22 | update | System / admin update |
2013-11-02T22:44:14 | update | System / admin update |
loading ..