scientific article; zbMATH DE number 2185660

MaRDI QIDQ3024834zbMATH OpenFDO

Authors Neil Ghani

Publication date 4 July 2005

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Extensional Rewriting with Sums
• Some lambda calculi with categorical sums and products
• A confluent reduction for the extensional typed -calculus with pairs, sums, recursion and terminal object
• scientific article; zbMATH DE number 2185714
• scientific article; zbMATH DE number 814613

Cited in

(16)

• A simple proof of a theorem of Statman
• Equality between functionals in the presence of coproducts
• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• The naturality of natural deduction
• A local graph-rewriting system for deciding equality in sum-product theories
• Extensional Rewriting with Sums
• On modular properties of higher order extensional lambda calculi
• On the power of simple diagrams
• Categorical reconstruction of a reduction free normalization proof
• A syntactic approach to eta equality in type theory
• Multi-focusing on extensional rewriting with sums
• Deciding equivalence with sums and the empty type
• The exp-log normal form of types: decomposing extensional equality and representing terms compactly
• Strong normalisation in the \(\pi\)-calculus
• Invertibility in Sequent Calculi
• Linearity and bisimulation

This page was built for publication:

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