Revision history for entry Gambino, Nicola; Aczel, Peter: The Generalised Type-Theoretic Interpretation o.. [NICTGT]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-05-05T16:22:12 | update | System / admin update |
2017-01-21T05:55:33 | update | System / admin update |
2016-06-30T13:12:19 | update | System / admin update |
2015-02-05T07:19:49 | update | System / admin update |
2014-03-19T03:52:37 | update | System / admin update |
2013-11-04T09:21:14 | update | System / admin update |
2013-11-04T09:20:57 | update | System / admin update |
2010-10-28T13:39:37 | update | System / admin update |
2010-10-02T02:25:15 | update | System / admin update |
2010-09-23T17:30:37 | add | System / admin update |
loading ..