A Semantic Formulation of -Lifting and Logical Predicate
详细信息    查看全文
  • 作者：Shin-ya Katsumata
  • 刊名：Lecture Notes in Computer Science
  • 出版年：2005
  • 出版时间：2005
  • 年：2005
  • 卷：3634
  • 期：1
  • 页码：p.87
  • 全文大小：345 KB
  • 刊物类别：Computer Science
  • 刊物主题：Artificial Intelligence and Robotics
    Computer Communication Networks
    Software Engineering
    Data Encryption
    Database Management
    Computation by Abstract Devices
    Algorithm Analysis and Problem Complexity
  • 出版者：Springer Berlin / Heidelberg
  • ISSN：1611-3349
文摘
A semantic formulation of Lindley and Stark’s $\top\top$-lifting is given. We first illustrate our semantic formulation of the $\top\top$-lifting in Set with several examples, and apply it to the logical predicates for Moggi’s computational metalanguage. We then abstract the semantic $\top\top$-lifting as the lifting of strong monads across bifibrations with lifted symmetric monoidal closed structures.
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.