原创力文档- 6
- 0
- 约3.25万字
- 约 17页
- 2017-05-08 发布于上海
- 举报
Typed Operational Semantics for Dependent Record Types 英文论文文献
TypedOperationalSemanticsforDependentRecordTypes?
YangyueFengandZhaohuiLuo
DepartmentofComputerScience
RoyalHolloway,UniversityofLondon
Egham,SurreyTW200EX,UK
{yangyue,zhaohui}@cs.rhul.ac.uk
TypedoperationalsemanticsisamethoddevelopedbyH.Goguentoprovemeta-theoreticproperties
oftypesystems. Thispaperstudiesthemetatheoryofatypesystemwithdependentrecordtypes,
usingtheapproachoftypedoperationalsemantics. Inparticular,themetatheoreticalpropertieswe
haveprovedincludestrongnormalisation,Church-Rosserandsubjectreduction.
1 Introduction
H.Goguen[Gog94,Gog99]hasdevelopedamethodcalledtypedoperatio
您可能关注的文档
- Twin Crises in Turkey A Comparison of Currency Crisis Models 英文论文文献.doc
- Two Dimensional Projection Pursuit Applied to Gaussian Mixture Model Fitting 英文论文文献.doc
- Two H-mixed Synthetic Indices for the Assessment of Research Performance 英文论文文献.doc
- Two Legionnaires' disease cases associated with industrial waste water treatment plants a case report 英文论文文献.doc
- Two Frequenins in Drosophila unveiling the evolutionary history of an unusual Neuronal Calcium Sensor (NCS) duplication 英文论文文献.doc
- TWO FOLD SEMILNGUISM AND DEIXIS 英文论文文献.doc
- Two mycoheterotrophic orchids from Thailand tropical dipterocarpacean forests associate with a broad diversity of ectomycorrhizal fungi 英文论文文献.doc
- Two Examples of Exergy Optimization Regarding the “Thermo-Frigopump” and Combined Heat and Power Systems 英文论文文献.doc
- Two new Andean species of Brachistosternus Pocock (Scorpiones Bothriuridae). 英文论文文献.doc
- Two new endemic genera and a new species of toad (Anura Bufonidae) from the Western Ghats of India 英文论文文献.doc
- TYPES OF SCIENTIFIC RESEARCHES IN SPECIAL EDUCATION 英文论文文献.doc
- Types and frequency of preanalytical mistakes in the first Thai ISO 90021994 certified clinical laboratory, a 6 – month monitoring 英文论文文献.doc
- Typische AV-nodale Reentrytachykardie mit rhythmisch wechselnder Zyklusl nge 英文论文文献.doc
- Typed lambda-terms in categorical attributed graph transformation 英文论文文献.doc
- TYPOLOGIES OF OCCUPATION OF LEISURE-TIME OF SPANISH ADOLESCENTS. THE CASE OF THE PARTICIPANTS IN PHYSICAL ACTIVITIES ORGANIZED 英文论文文献.doc
- Tyr66 acts as a conformational switch in the closed-to-open transition of the SHP-2 N-SH2-domain phosphotyrosine-peptide binding cleft 英文论文文献.doc
- Tyrosine kinase inhibitor SU6668 represses chondrosarcoma growth via antiangiogenesis in vivo 英文论文文献.doc
- Typing Context-Dependent Behavioural Variation 英文论文文献.doc
- Types of Multi-Level Governance 英文论文文献.doc
- Tyrosine kinase signalling in breast cancer Insulin-like growth factors and their receptors in breast cancer 英文论文文献.doc
最近下载
- 安川机器人YASKAWA GP215、GP250、GP280说明手册.pdf VIP
- 《互联网企业合规建设评价体系（征求意见稿）》团体标准编制说明.pdf VIP
- 内蒙古鄂尔多斯市2026届九年级中考一模道德与法治试卷（含答案）.pdf VIP
- 2003版《山东省建筑工程消耗量定额》.doc VIP
- 深度解析(2026)《GB 42294-2022陆上石油天然气开采安全规程》.pptx VIP
- 2000浙G24-2000浙G25 钢筋混凝土圆桩承台-钢筋混凝土方桩承台.pdf VIP
- PCBA生产PFMEA分析范例.pdf VIP
- 2026年二级建造师执业资格考试继续教育考试题库(完整版)含答案.docx VIP
- 《种子生产与经营管理》第2章种子生产管理.ppt
- 华科版《传热学》全套教学课件.pptx
文档评论（0）