scientific article; zbMATH DE number 7204448

DOI10.4230/LIPICS.FSCD.2017.29MaRDI QIDQ5111327zbMATH OpenFDO

Authors Paolo Pistone

Publication date 26 May 2020

zbMATH Keywords

completenessdinaturalitysimply-typed lambda-calculus\(\beta\eta\)-stable semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• G-dinaturality.
• scientific article; zbMATH DE number 2185676
• λ-definable functionals andβη conversion
• On completeness and parametricity in the realizability semantics of System \textsf{F}

Cites work

• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 65746 (Why is no real title available?)
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• Functorial polymorphism
• Résultats de complétude pour des classes de types du système $\mathcal {AF}2$
• The completeness theorem for typing lambda-terms

Cited in

(3)

• βη-complete models for System F
• On limit models over types in the class of \(\omega\)-stable theories
• Composing dinatural transformations: towards a calculus of substitution

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