LOGICAL ASPECTS OF DENOTATIONAL SEMANTICS

被引：0
作者：
ROBINSON, E
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 283卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：238 / 253
页数：16
相关论文
共 14 条
  • [1] ABRAMSKY S, 1987, 1987 P IEEE S LOG CO, P47
  • [2] ABRAMSKY S, 1986, UNPUB DOMAIN EQUATIO
  • [3] BROOKES SD, 1985, LECTURE NOTES COMPUT, V193, P41
  • [4] CREMERS A, 1975, J COMPUT SYSTEM SCI, P86
  • [5] DEBAKKER JW, 1980, MATH THEORY PROGRAM
  • [6] HYLAND JME, 1981, LECT NOTES MATH, V871, P264, DOI DOI 10.1007/BFB0089910.
  • [7] JOHNSTONE PT, 1983, B AM MATH SOC, V1, P41
  • [8] JOHNSTONE PT, 1985, PURE APPL MATH, V101, P155
  • [9] Johnstone PT., 1982, LMS MATH MONOGRAPH
  • [10] PLOTKIN GD, 1981, UNPUB LECTURE NOTES
12