Items where Author is "Hewitt, Carl"
Group by: Item Type | No Grouping Jump to: Preprint Number of items: 5. PreprintHewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint] Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint] Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strong Types. [Preprint] Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results. [Preprint] Hewitt, Carl (2017) Strong Types for Direct Logic. [Preprint] |