Christian-Albrechts-Universitat Kiel, Institut fiir Informatik Olshausenstrafie 40, 24098 Kiel, Germany;
Rheinische Friedrich-Wilhelms-Universitat Bonn, Institut fiir Informatik Romerstrafie 164, 53117 Bonn, Germany;
Rheinische Friedrich-Wilhelms-Universitat Bonn, Institut fiir Informatik Romerstrafie 164, 53117 Bonn, Germany;
机译:保护依赖类型理论的表示语义
机译:滴答时钟作为依赖权伴随:时钟类型理论的表示语义
机译:综合保护域理论中递归类型的指称语义
机译:适用于类型的FlatCurry的适当,表示,功能式的语义语义
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:UMLS丰富语义网络的关系结构和语义类型分配
机译:类型FlatCurry的充分,指称,功能风格的语义
机译:语义域和指称语义。