The calculus of nominal inductive constructions

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09 ◽

10.1145/1577824.1577836 ◽

2009 ◽

Author(s):

Edwin Westbrook ◽

Aaron Stump ◽

Evan Austin

Download Full-text