scientific article; zbMATH DE number 3850462

zbMATH Open0535.68010MaRDI QIDQ3319765FDOQ3319765

Authors: Gerardo Costa, Egidio Astesiano 

Publication date: 1982

Title of this publication is not available (Why is that?)

Recommendations

• The insensitivity theorem for nonreducing reflexive types
• Eliminating proofs from programs
• A conjunctive type system for useless-code elimination
• Pruning simply typed  -terms
• scientific article; zbMATH DE number 2080290

zbMATH Keywords

full abstractionlambda calculusapplicative languagesInsensitivity Propertyreducing typesstructured types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• The insensitivity theorem for nonreducing reflexive types
• Type-based useless-variable elimination

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 Q3319765)