Revision history for entry Wadleigh, H. Julian: Expressibility in type theory [HJUEIT]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2021-04-13T16:04:49 | update | System / admin update |
2021-03-24T13:23:58 | update | System / admin update |
2021-03-21T13:00:08 | update | System / admin update |
2019-02-05T04:04:04 | update | System / admin update |
2017-01-21T04:32:09 | update | System / admin update |
2015-02-04T23:40:54 | update | System / admin update |
2013-12-01T19:31:35 | update | System / admin update |
2013-12-01T19:31:22 | update | System / admin update |
2013-11-22T13:34:05 | update | System / admin update |
2013-11-04T09:38:38 | update | System / admin update |
2010-10-28T13:42:24 | update | System / admin update |
2010-10-01T19:42:01 | update | System / admin update |
2010-09-23T17:05:58 | add | System / admin update |
loading ..