Revision history for entry Ranta, Aarne (1998). "Syntactic calculus with dependent types" [RANSCW]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-30T06:21:50updateSystem / admin update -
2013-11-22T10:31:59updateSystem / admin update -
2010-10-02T05:24:27updateSystem / admin update -