Pages that link to "Item:Q2864157"
From MaRDI portal
The following pages link to A framework for defining logical frameworks (Q2864157):
Displaying 8 items.
- Lambda calculus with patterns (Q930865) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Easy definition of new facets in the frame-based language Objlog+ (Q2778459) (← links)
- An open logical framework (Q2804331) (← links)
- A logical framework with explicit conversions (Q2871837) (← links)
- (Q4244306) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)