archives

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