2009/01/01 by Laurence Tratt · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Computer science #Linguistics #Logic, programming, and type systems #Philosophy #Programming language #Software Engineering Research
paper · doi:10.1016/s0065-2458(09)01205-4
crossref issued 2009/01/01 · crossref published 2009/01/01 · crossref published-print 2009/01/01 · openalex publication_date 2009/01/01 · crossref created 2009/05/28 · crossref deposited 2024/03/13 · openalex created_date 2025/10/10 · crossref indexed 2025/10/10 · openalex updated_date 2025/11/06