Revision history for entry Gambino, Nicola; Aczel, Peter (2006). "The Generalised Type-Theoretic Interpretation of Constructive Set Theory" [NICTGT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-19T03:52:37updateSystem / admin update -
2013-11-04T09:21:14updateSystem / admin update -
2013-11-04T09:20:57updateSystem / admin update -
2010-10-28T13:39:37updateSystem / admin update -
2010-10-02T02:25:15updateSystem / admin update -
2010-09-23T17:30:37addSystem / admin update -