Revision history for entry Pigozzi, Don; Salibra, Antonino (1995). "The abstract variable-binding calculus" [PIGTAV]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-04-03T00:54:16updateSystem / admin update -
2013-12-02T01:46:21updateSystem / admin update -
2013-01-22T20:40:53updateSystem / admin update -
2013-01-22T20:40:53updateSystem / admin update -