| Wright, DA, “Linear, Strictness and Usage Logics”, Computing: The Australasian Theory Symposium, Melbourne, Australia, pp. 73-80. (1996) [Refereed Conference Paper] |
| Data Type | Value |
|---|
| Type of Research | Strategic Basic Research |
| Research Division | Information and Computing Sciences |
| Research Group | Software engineering |
| Research Field | Programming languages |
| Research Objective Division | Information and Communication Services |
| Research Objective Group | Other information and communication services |
| Research Objective Field | Other information and communication services not elsewhere classified |
| Visit Item on eCite | http://ecite.utas.edu.au/8633 |
