scientific article; zbMATH DE number 1479634

MaRDI QIDQ4490749zbMATH OpenFDO

Authors Philippa Gardner

Publication date 20 July 2000

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Needed reduction and spine strategies for the lambda calculus
• Call-by-need, neededness and all that
• Decidable call-by-need computations in term rewriting
• A decidable theory of type assignment
• Reasoning about call-by-need by means of types

Cited in

(21)

• Structural rules and algebraic properties of intersection types
• scientific article; zbMATH DE number 7559299 (Why is no real title available?)
• Characterization of the principal type of normal forms in an intersection type system
• Minimal relative normalization in orthogonal expression reduction systems
• Inhabitation for non-idempotent intersection types
• Tight typings and split bounds, fully developed
• scientific article; zbMATH DE number 7526055 (Why is no real title available?)
• scientific article; zbMATH DE number 7204443 (Why is no real title available?)
• Intersection type assignment systems
• The spirit of node replication
• Quantitative weak linearisation
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
• Reasoning about call-by-need by means of types
• The bang calculus revisited
• Node Replication: Theory And Practice
• Optimizing optimal reduction
• A correspondence between type checking via reduction and type checking via evaluation
• The bang calculus revisited
• scientific article; zbMATH DE number 7155170 (Why is no real title available?)
• A resource aware semantics for a focused intuitionistic calculus
• scientific article; zbMATH DE number 7756108 (Why is no real title available?)

Describes a project that uses

Uses Software

• Miranda

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