Publication Date

8-1994

Technical Report Number

TR94-15

Subjects

Computing Milleux, General Literature

Abstract

An introduction to the literature on semantics. Included are pointers to the literature on axiomatic semantics, denotational semantics, operational semantics, and type theory.

Comments

© Gary T. Leavens. Permission is granted for you to make copies for education al and scholarly purposes, but not for direct commercial advantage, provided this notice appears on all copies. All other rights reserved.

Share

COinS