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-18T23:52:37updateSystem / admin update -
2013-11-04T04:21:14updateSystem / admin update -
2013-11-04T04:20:57updateSystem / admin update -
2010-10-28T08:39:37updateSystem / admin update -
2010-10-01T21:25:15updateSystem / admin update -
2010-09-23T12:30:37addSystem / admin update -