Revision history for entry Lambek, Joachim; Scott, Philip (2005). "An exactification of the monoid of primitive recursive functions" [LAMAEO] |
| Time | Type | Notes |
Revision history for entry Lambek, Joachim; Scott, Philip (2005). "An exactification of the monoid of primitive recursive functions" [LAMAEO] |
| Time | Type | Notes |