Retracts in simple types

DOI10.1007/3-540-45413-6_29MaRDI QIDQ2778834zbMATH OpenFDO

Authors Vincent Padovani

Publication date 21 March 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2044/20440376

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Recommendations

• Retracts of fields
• A rewriting view of simple typing
• Reflexive retracts and its properties
• Retractions of dI-domains as a model for Type:Type
• Simple Type is Not a Boundary Phenomenon
• scientific article; zbMATH DE number 5872250
• Subsimple, injective, retract
• Simple types in discretely ordered structures
• Simple general recursion in type theory
• Types et contragrédientes

Cited in

(6)

• F-retracts, L-retracts and WAE(n)
• Second-order type isomorphisms through game semantics
• On the building of affine retractions
• Computer Science Logic
• Proof systems for retracts in simply typed lambda calculus
• Retraction note to: ``An alternate Cayley-Dickson product

This page was built for publication: Retracts in simple types

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