scientific article; zbMATH DE number 7204448

DOI10.4230/LIPIcs.FSCD.2017.29zbMath1434.03057MaRDI QIDQ5111327

Paolo Pistone

Publication date: 26 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Composing dinatural transformations: towards a calculus of substitution

Cites Work

• Functorial polymorphism
• The completeness theorem for typing lambda-terms
• Résultats de complétude pour des classes de types du système $\mathcal {AF}2$
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: