Pages that link to "Item:Q1326769"
From MaRDI portal
The following pages link to Classical logic, storage operators and second-order lambda-calculus (Q1326769):
Displayed 14 items.
- 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)
- 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)
- Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique (Q3128482) (← links)
- Computation with classical sequents (Q3520146) (← 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)
- 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)
- Refined program extraction from classical proofs (Q5957850) (← links)