1976/01/01 by J. W. de Bakker, J.W. De Bakker · 3 citations
Computer Science · Mathematics · #Advanced Database Systems and Queries #Algorithm #Calculus (dental) #Computer science #Discrete mathematics #Epistemology #Fixed point #Interpretation (philosophy) #Lambda calculus #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical analysis #Mathematics #Philosophy #Programming language #Simple (philosophy) #Statistics #Substitution (logic) #Value (mathematics)
paper · pdf · doi:10.1016/0304-3975(76)90031-1
crossref issued 1976/01/01 · crossref published 1976/01/01 · crossref published-print 1976/01/01 · openalex publication_date 1976/01/01 · crossref created 2002/07/26 · crossref deposited 2019/04/12 · crossref indexed 2022/12/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/02