Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 3850462

From MaRDI portal
Publication:3319765
Jump to:navigation, search

zbMATH Open0535.68010MaRDI QIDQ3319765FDOQ3319765


Authors: Gerardo Costa, Egidio Astesiano Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3319765&oldid=16550619"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 4 February 2024, at 12:56. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki