The following pages link to (Q4282613):
Displayed 17 items.
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
- Polarized proof-nets and \(\lambda \mu\)-calculus (Q1853586) (← links)
- Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus (Q4530146) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- (Q4957786) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)
- Subtractive logic (Q5940919) (← links)
- Structural Rules in Natural Deduction with Alternatives (Q6200461) (← links)