Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17
Latest Publications

TOTAL DOCUMENTS

3

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By ACM Press

9781450353748

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Uniform Atomic Ordered Linear Logic

Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 ◽

10.1145/3130261.3130264 ◽

2017 ◽

Author(s):

Jeff Polakow

Keyword(s):

Linear Logic

Download Full-text

Autosubst 2

Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 ◽

10.1145/3130261.3130263 ◽

2017 ◽

Cited By ~ 4

Author(s):

Jonas Kaiser ◽

Steven Schäfer ◽

Kathrin Stark

Download Full-text

Towards a Logical Framework with Intersection and Union Types

Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 ◽

10.1145/3130261.3130262 ◽

2017 ◽

Author(s):

Claude Stolze ◽

Luigi Liquori ◽

Furio Honsell ◽

Ivan Scagnetto

Keyword(s):

Logical Framework

Download Full-text