Intersection types for λGtz-calculus

DOI10.2298/PIM0796085GMaRDI QIDQ3510443zbMATH OpenFDO

Authors Silvia Ghilezan, Jelena Ivetić

Publication date 2 July 2008

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/130037

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(\lambda\)-calculusintuitionistic logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Intersection typed -calculus
• Characterising strongly normalising intuitionistic terms
• Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus
• Intersection-types à la Church
• Strict intersection types for the lambda calculus

Cited in

(19)

• Intersection types for combinatory logic
• Infinite intersection types
• Non-idempotent intersection types in logical form
• The untyped computational \(\lambda \)-calculus and its intersection type discipline
• A Translation of Intersection and Union Types for the λμ-Calculus
• Intersection typed -calculus
• Intersection and union types for \(\mathcal{X}\)
• Intersection types for the resource control lambda calculi
• Intersection types and λ-definability
• scientific article; zbMATH DE number 2062377 (Why is no real title available?)
• Non-idempotent intersection types for the lambda-calculus
• Intersection types for lambda-terms and combinators and their logics
• Intersection types and termination properties
• Intersection types from a proof-theoretic perspective
• Intersection logic in sequent calculus style
• The -calculus: syntax and types
• A tale of intersection types
• The approximation theorem for the \(\Lambda_{\mu}\)-calculus
• Factoring derivation spaces via intersection types

This page was built for publication: Intersection types for λGtz-calculus

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