Pages that link to "Item:Q1378432"

The following pages link to Lambda calculus and intuitionistic linear logic (Q1378432):

Displaying 25 items.

• Resource operators for \(\lambda\)-calculus (Q876041) (← links)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
• Applications of infinitary lambda calculus (Q1021568) (← links)
• New Curry-Howard terms for full linear logic (Q1390952) (← links)
• A general adequacy result for a linear functional language (Q1391860) (← links)
• Linear lambda-terms and natural deduction (Q1577345) (← links)
• Characterizing polynomial and exponential complexity classes in elementary lambda-calculus (Q1640981) (← links)
• Finite generation and presentation problems for lambda calculus and combinatory logic (Q2151418) (← links)
• Factorization in call-by-name and call-by-value calculi via linear logic (Q2233405) (← links)
• Nonmodularity results for lambda calculus (Q2729668) (← links)
• THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS (Q3363460) (← links)
• Thunks and the λ-calculus (Q4358459) (← links)
• (Q4449007) (← links)
• Three faces of natural deduction (Q4610312) (← links)
• On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic (Q4627723) (← links)
• Preface (Q4704758) (← links)
• (Q4764114) (← links)
• Semantics of linear/modal lambda calculus (Q4934238) (← links)
• Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037) (← links)
• (Q5018484) (← links)
• The Intensional Lambda Calculus (Q5434495) (← links)
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic (Q5750847) (← links)
• Initial algebra semantics for lambda calculi (Q5887531) (← links)
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
• Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)