| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6875400 | Theoretical Computer Science | 2018 | 4 Pages |
Abstract
This article first summarises the origins of CoFI and the motivation for Casl. It then recalls some of the crucial contributions to CoFI made by Don Sannella, and concludes with an indication of the impact of CoFI.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Peter D. Mosses,