Mathematical foundations of programming semantics 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

The formal semantics of programming languages an introduction por Winskel, G. (Glynn)

Ligazón do recurso
Ligazón do recurso

Semantics of programming languages and model theory

Programming language syntax and semantics por Watt, David A. (David Anthony) 1946-

Introduction to the theory of programming languages por Meyer, Bertrand

Truth, deduction, and computation logic and semantics for computer science por Davis, Ruth E.

Natural language understanding por Allen, James