Classical F_, orthogonality and symmetric candidates

DOI10.1016/J.APAL.2008.01.005MaRDI QIDQ2482840zbMATHOpenAlexFDO

Authors Stéphane Lengrand, Alexandre Miquel

Publication date 24 April 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2008.01.005

zbMATH Keywords

classical logicclassical version of system \(F_{\omega}\)

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Recommendations

• On the Orthogonality of Classical Orthogonal Polynomials
• On \(d\)-symmetric classical \(d\)-orthogonal polynomials
• On the orthogonal basis of symmetry classes of tensors
• Orthogonality with respect to the sum of two semiclassical regular linear forms
• The \(D_ \omega\)-classical orthogonal polynomials
• scientific article; zbMATH DE number 1180008
• The symmetric \(D_{\omega}\)-semi-classical orthogonal polynomials of class one
• The \(I_{(q,\omega)}\) classical orthogonal polynomials
• Classical orthogonal polynomials revisited
• Some results on the orthogonal basis of a symmetry class of tensors

Cites work

• scientific article; zbMATH DE number 1231563 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• A new type assignment for λ-terms
• A symmetric lambda calculus for classical program extraction
• Call-by-value is dual to call-by-name
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Foundations of Software Science and Computation Structures
• Introduction to generalized type systems
• Linear logic
• Proof-assistants using dependent type systems
• Strong Normalization of the Dual Classical Sequent Calculus
• The duality of computation
• The lambda calculus, its syntax and semantics
• Typed Lambda Calculi and Applications
• Why the usual candidates of reducibility do not work for the symmetric \(\lambda\mu\)-calculus

Cited in

(6)

• Focalisation and Classical Realisability
• Quantitative classical realizability
• Orthogonality with respect to the sum of two semiclassical regular linear forms
• Abstracting models of strong normalization for classical calculi
• Orthogonality and Boolean Algebras for Deduction Modulo
• Proving termination of evaluation for system F with control operators

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Classical \(F_{\omega}\), orthogonality and symmetric candidates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2482840)