Archived tweet #10516 from the @leastfixedpoint Twitter Archive

@arntzenius Have you seen @PaulStansifer's work? It bridges some of that gap IIRC: repository.library.northeastern.edu/files/neu:cj82…