Pages that link to "Item:Q4758660"
From MaRDI portal
The following pages link to Functionality in Combinatory Logic (Q4758660):
Displayed 12 items.
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- On modal logics of partial recursive functions (Q817692) (← links)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Comparing cubes of typed and type assignment systems (Q1365249) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Logic of subtyping (Q2500487) (← links)
- π-RED<sup>+</sup> An interactive compiling graph reduction system for an applied λ-calculus (Q3125230) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)