Pages that link to "Item:Q1326769"

The following pages link to Classical logic, storage operators and second-order lambda-calculus (Q1326769):

Displaying 26 items.

• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
• A semantical storage operator theorem for all types (Q1382182) (← links)
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
• Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
• Uniform Heyting arithmetic (Q1772775) (← links)
• About classical logic and imperative programming (Q1817076) (← links)
• Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496) (← links)
• Les types de données syntaxiques du système ${\cal F}$ (Q2773019) (← links)
• On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique (Q3128482) (← links)
• The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)
• Verificationism and Classical Realizability (Q3305313) (← links)
• Computation with classical sequents (Q3520146) (← links)
• Complete Types in an Extension of the System <i>AF</i>2 (Q3647204) (← links)
• A new deconstructive logic: linear logic (Q4372906) (← links)
• Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ (Q4389762) (← links)
• An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
• (Q4603450) (← links)
• A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
• Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul (Q4858846) (← links)
• Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) (← links)
• Logical Relations and Nondeterminism (Q5256338) (← links)
• (Q5377471) (← links)
• Normalization in the simply typed -calculus (Q5889885) (← links)
• Refined program extraction from classical proofs (Q5957850) (← links)