scientific article; zbMATH DE number 7204448

DOI10.4230/LIPICS.FSCD.2017.29zbMATH Open1434.03057MaRDI QIDQ5111327FDOQ5111327

Paolo Pistone

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The completeness theorem for typing lambda-terms
• Functorial polymorphism
• Title not available (Why is that?)
• Résultats de complétude pour des classes de types du système $\mathcal {AF}2$

Cited In (3)

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

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)