The following pages link to Logical frameworks (Q2751369):
Displaying 26 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics (Q865658) (← links)
- A linear logical framework (Q1400718) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- A third-order representation of the \(\lambda\mu\)-calculus (Q2841236) (← links)
- A framework for defining logical frameworks (Q2864157) (← links)
- Normalization for the simply-typed lambda-calculus in Twelf (Q2871835) (← links)
- A meta linear logical framework (Q2871843) (← links)
- Imperative LF meta-programming (Q2871844) (← links)
- Formal Logic Definitions for Interchange Languages (Q3453113) (← links)
- A module system for a programming language based on the LF logical framework (Q4399511) (← links)
- Efficient Substitution in Hoare Logic Expressions (Q4921508) (← links)
- Functional and Logic Programming (Q5308009) (← links)
- Flexary Operators for Formalized Mathematics (Q5495932) (← links)
- Logical Mappings (Q5520633) (← links)
- Types for Proofs and Programs (Q5712301) (← links)
- Finitary type theories with and without contexts (Q6053849) (← links)
- A logical framework perspective on conservativity (Q6648169) (← links)
