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

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By ACM Press

9781450347778

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Rewrite System for Proof Constructivization

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

10.1145/2966268.2966270 ◽

2016 ◽

Author(s):

Raphaël Cauderlier

Keyword(s):

Download Full-text

The Incredible Proof Machine (Invited Talk)

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

10.1145/2966268.2966273 ◽

2016 ◽

Author(s):

Joachim Breitner

Download Full-text

Mechanizing Proofs about Mendler-style Recursion

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

10.1145/2966268.2966269 ◽

2016 ◽

Author(s):

Rohan Jacob-Rao ◽

Andrew Cave ◽

Brigitte Pientka

Download Full-text

Implementing HOL in an Higher Order Logic Programming Language

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

10.1145/2966268.2966272 ◽

2016 ◽

Author(s):

Cvetan Dunchev ◽

Claudio Sacerdoti Coen ◽

Enrico Tassi

Keyword(s):

Logic Programming ◽

Programming Language ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Logic Programming Language

Download Full-text

The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid

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

10.1145/2966268.2966271 ◽

2016 ◽

Author(s):

Chelsea Battell ◽

Amy Felty

Keyword(s):

Specification Logic

Download Full-text