Interaction and program generators.

DOI10.1007/BF02362669zbMATH Open1077.68550MaRDI QIDQ1359341

V. B. Popov

Publication date: 26 June 1997

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Cites Work

• The lambda calculus, its syntax and semantics

This page was built for publication: Interaction and program generators.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1359341)