共 50 条
- [33] Denotational semantics of subtyping Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1999, 27 (08): : 46 - 51
- [35] Denotational Semantics and Quantum Topology ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172):
- [36] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 61 - 91
- [40] A denotational semantics for deliberation dialogues ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 162 - 175