Introduction to the Literature on Semantics

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Leavens, Gary T. (1994) Introduction to the Literature on Semantics. Technical Report TR94-15, Department of Computer Science, Iowa State University.

Full text available as:

Postscript
Adobe PDF

Abstract

Introduction to the Literature On Semantics by Gary T. Leavens An introduction to the literature on semantics. Included are pointers to the literature on axiomatic semantics, denotational semantics, operational semantics, and type theory.

Subjects:	All uncategorized technical reports
ID code:	00000081
Deposited by:	Staff Account on 25 August 1994

Contact site administrator at: ssg@cs.iastate.edu