Functor-category semantics of programming languages and logics

Ediciones (1)

• Functor-category semantics of programming languages and logics. (1986)

  University of Edinburgh, Laboratory for Foundations of Computer Science · inglés

Más obras de R. D. Tennent

ALGOL-like languages

CCorrectness of data representations in Algol-like languages

Correctness of data representations in Algol-like languages

TThe effect of Gaussian criterion noise in signal detection t

The effect of Gaussian criterion noise in signal detection theory