Revision history for entry Möllerfeld, Michael: Michael Rathjen. _The superjump in Martin-Löf type theory.. [MLLMRT-2]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-11-14T14:15:50 | update | System / admin update |
2020-06-16T20:03:40 | update | System / admin update |
2019-05-08T14:20:47 | update | System / admin update |
2019-05-08T14:20:47 | update | System / admin update |
2019-05-08T14:20:47 | update | System / admin update |
2019-05-08T03:20:12 | update | System / admin update |
2019-05-07T20:55:12 | add | System / admin update |
loading ..