Revision history for entry Bassac, Christian; Mery, Bruno; Retoré, Christian: Towards a type-theoretical .. [BASTAT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-11-26T22:09:02updateSystem / admin update
2019-02-06T16:59:30updateSystem / admin update
2015-02-03T01:10:43updateSystem / admin update
2014-03-07T11:05:51updateSystem / admin update
2014-01-23T05:44:34updateSystem / admin update
2013-11-22T10:32:54updateSystem / admin update
2013-11-01T17:45:16updateSystem / admin update
2009-12-28T05:48:14updateSystem / admin update
2009-12-28T05:47:26updateSystem / admin update
2009-12-28T05:27:49updateSystem / admin update