Normal view
MARC view
The lambda calculus (Topical Term)
Machine generated authority record
Work cat.: (OSt)194371: Fernandez, Maribel. 258636, Models of computation :, 2012.
