Revision history for entry Smith, Jan (1984). "An interpretation of Martin-löf's type theory in a type-free theory of propositions" [SMIAIO-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-11-22T07:03:36updateSystem / admin update -
2013-11-04T04:22:24updateSystem / admin update -