Relational Parametricity and Control

DOI10.2168/LMCS-2(3:3)2006MaRDI QIDQ5310662zbMATH OpenFDO

Authors Masahito Hasegawa

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-2(3:3)2006

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Relational parametricity for control considered as a computational effect
• scientific article; zbMATH DE number 1910399
• scientific article; zbMATH DE number 1456954
• scientific article; zbMATH DE number 2182491
• Control categories and duality: On the categorical semantics of the lambda-mu calculus

Cited in

(10)

• Relational Parametricity for Computational Effects
• Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
• Existential type systems between Church and Curry style (type-free style)
• scientific article; zbMATH DE number 2061710 (Why is no real title available?)
• scientific article; zbMATH DE number 2182491 (Why is no real title available?)
• Induction by coinduction and control operators in call-by-name
• Relational parametricity for control considered as a computational effect
• Inhabitation of polymorphic and existential types
• Type checking and typability in domain-free lambda calculi
• Parametric \(\lambda \)-theories

This page was built for publication: Relational Parametricity and Control

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