Revision history for entry De Queiroz, Ruy J. G. B.: A Proof‐Theoretic Account of Programming and the Rol.. [DEQAPA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-07-31T00:55:13updateSystem / admin update
2022-04-19T13:47:35updateSystem / admin update
2021-12-24T14:08:29updateSystem / admin update
2019-02-05T13:43:07updateSystem / admin update
2018-02-22T14:09:23updateSystem / admin update
2015-03-21T07:28:18updateSystem / admin update
2015-02-05T08:35:12updateSystem / admin update
2014-01-17T14:33:52updateSystem / admin update
2013-11-21T11:54:00addSystem / admin update