What is Lisp
From MaRDI portal
Publication:3698283
DOI10.2307/2322167zbMath0577.68021OpenAlexW4252296632MaRDI QIDQ3698283
Publication date: 1984
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2322167
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
This page was built for publication: What is Lisp