Pages that link to "Item:Q5704003"

The following pages link to Typed Lambda Calculi and Applications (Q5704003):

Displaying 33 items.

• An alternate proof of Statman's finite completeness theorem (Q436624) (← links)
• How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195) (← links)
• A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
• Weak completeness of type assignment in \(\lambda\)-calculus models: A generalization of Hindley's result (Q809993) (← links)
• A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
• On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
• Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
• Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344) (← links)
• A theory of strict P-completeness (Q1337145) (← links)
• Krivine's intuitionistic proof of classical completeness (for countable languages) (Q1887656) (← links)
• Statman's 1-section theorem (Q1891155) (← links)
• Finite generation and presentation problems for lambda calculus and combinatory logic (Q2151418) (← links)
• Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496) (← links)
• Nonmodularity results for lambda calculus (Q2729668) (← links)
• Term collections in {\(\lambda\)} and {\(\rho\)}-calculi (Q2864209) (← links)
• (Q3024853) (← links)
• (Q3322096) (← links)
• (Q3466593) (← links)
• Complete Coinductive Theories. I (Q3486554) (← links)
• Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus (Q3608816) (← links)
• (Q3652172) (← links)
• Completeness Results for Lambek Syntactic Calculus (Q3724306) (← links)
• Completeness of transfinite evaluation in an extension of the lambda calculus (Q3765742) (← links)
• On Proving Limiting Completeness (Q3769943) (← links)
• (Q3792669) (← links)
• (Q3794168) (← links)
• (Q4273432) (← links)
• The basis decision problem in λ‐calculus (Q4304128) (← links)
• L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
• Formal SOS-Proofs for the Lambda-Calculus (Q5178966) (← links)
• (Q5424684) (← links)
• (Q5490807) (← links)
• The Tractarian operation \(N\) and expressive completeness (Q5926255) (← links)