The following pages link to Logic representation in LF (Q5096264):
Displaying 6 items.
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- An open logical framework (Q2804331) (← links)
- Hybridizing a logical framework (Q2867954) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)