Classical F_, orthogonality and symmetric candidates

DOI10.1016/J.APAL.2008.01.005zbMATH Open1135.03007OpenAlexW2074767526MaRDI QIDQ2482840FDOQ2482840

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

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

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)

Cites Work

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

Cited In (6)

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

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)