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
2013-01-22T20:40:53updateSystem / admin update -
2013-01-22T20:40:53updateSystem / admin update -