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-02T19:54:16updateSystem / admin update -
2013-12-01T20:46:21updateSystem / admin update -
2013-01-22T15:40:53updateSystem / admin update -
2013-01-22T15:40:53updateSystem / admin update -