The following pages link to A Linear Spine Calculus (Q4444935):
Displaying 17 items.
- The \(\lambda \)-calculus and the unity of structural proof theory (Q733755) (← links)
- A linear logical framework (Q1400718) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Proofs, Upside Down (Q2937799) (← links)
- Structural Focalization (Q2946730) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- Higher-Order Dynamic Pattern Unification for Dependent Types and Records (Q3007654) (← links)
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)
- A Note on the Analytical Resolution of a Nonhydrostatic Standing‐Wave Eigenvalue Problem for a Parabolic Basin (Q4294944) (← links)
- An insider's look at LF type reconstruction: everything you (n)ever wanted to know (Q4912883) (← links)
- (Q4989394) (← links)
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading (Q5372007) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
- Extending a high-performance prover to higher-order logic (Q6536126) (← links)
- Partial proof terms in the study of idealized proof search (Q6648177) (← links)