Predicative programming Part I

From MaRDI portal
Publication:3723675

DOI10.1145/69610.357988zbMath0593.68010OpenAlexW2062251861MaRDI QIDQ3723675

Eric C. R. Hehner

Publication date: 1984

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/69610.357988



Related Items