The following pages link to A linear logical framework (Q1400718):
Displayed 35 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Making ``stricterness'' more relevant (Q656871) (← links)
- A linear logical framework (Q1400718) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Program equivalence in linear contexts (Q2346993) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Hybridizing a Logical Framework (Q2867954) (← links)
- Specifying Properties of Concurrent Computations in CLF (Q2871839) (← links)
- A Meta Linear Logical Framework (Q2871843) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- An Improved Proof-Theoretic Compilation of Logic Programs (Q4911140) (← links)
- (Q5018490) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- (Q5094146) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- (Q5111322) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Mechanizing metatheory in a logical framework (Q5308093) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- Finitary type theories with and without contexts (Q6053849) (← links)
- A logical framework with higher-order rational (circular) terms (Q6091181) (← links)
- A formal logic for formal category theory (Q6091184) (← links)
- Towards substructural property-based testing (Q6102253) (← links)
- Additive types in quantitative type theory (Q6160747) (← links)