Number:

CS 3/90

Author(s):

MINTS, G., SMITH, J.M., TYUGU, E.

Title:

Type-theoretical semantics of some declarative languages. 18 p.

Language:

English