A Meta Linear Logical Framework (2003)

Cached

Download Links

by Andrew Mccreight , Carsten Schürmann
Venue:In 4th International Workshop on Logical Frameworks and Meta-Languages (LFM’04
Citations:5 - 1 self