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-30T01:21:50updateSystem / admin update -
2013-11-22T05:31:59updateSystem / admin update -
2010-10-02T00:24:27updateSystem / admin update -