Pages that link to "Item:Q1326769"
From MaRDI portal
The following pages link to Classical logic, storage operators and second-order lambda-calculus (Q1326769):
Displaying 15 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)
- 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)
