Skip to search boxSkip to navigationSkip to main content

Hybrid Extensions in a Logical Framework

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Article number

6

Publication milestones

  • Published - 2014

Publication status

Published - 2014

Publisher

Association for Computing Machinery, United States

ISBN (Print)

978-1-4503-2817-3

Publication IDs

  • Scopus: 84907068217

Host publication title

LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Publication metrics

PlumX

Captures
1