Revision history for entry Pigozzi, Don; Salibra, Antonino: The abstract variable-binding calculus [PIGTAV]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-12-10T21:47:26updateSystem / admin update
2019-12-31T19:35:52updateSystem / admin update
2017-03-05T04:14:43update
2017-02-01T08:45:09updateSystem / admin update
2017-01-20T11:05:48update
2017-01-19T00:00:55updateSystem / admin update
2015-02-06T05:10:59updateSystem / admin update
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