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.
Time | Type | Notes |
2022-12-10T21:47:26 | update | System / admin update |
2019-12-31T19:35:52 | update | System / admin update |
2017-03-05T04:14:43 | update | |
2017-02-01T08:45:09 | update | System / admin update |
2017-01-20T11:05:48 | update | |
2017-01-19T00:00:55 | update | System / admin update |
2015-02-06T05:10:59 | update | System / admin update |
2014-04-03T00:54:16 | update | System / admin update |
2013-12-02T01:46:21 | update | System / admin update |
2013-01-22T20:40:53 | update | System / admin update |
2013-01-22T20:40:53 | update | System / admin update |
loading ..