Metasoft primer

Descrição: The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of... Veja mais