×

Minimal and optimal computations of recursive programs. (English) Zbl 0388.68012


MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
03B40 Combinatory logic and lambda calculus
68Q55 Semantics in the theory of computing
68N20 Theory of compilers and interpreters
PDFBibTeX XMLCite
Full Text: DOI