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.
TimeTypeNotes
2019-02-06T06:42:46updateSystem / admin update
2017-04-23T10:24:49updateSystem / admin update
2016-06-30T13:11:57updateSystem / admin update
2016-02-11T11:54:43update
2015-03-17T09:03:57updateSystem / admin update
2015-02-05T06:57:42updateSystem / admin update
2014-03-31T03:53:12updateSystem / admin update
2013-11-22T12:09:22updateSystem / admin update
2013-11-02T22:44:14updateSystem / admin update