scientific article; zbMATH DE number 883584

MaRDI QIDQ4879947zbMATH OpenFDO

Authors Xavier Gouy

Publication date 29 July 1996

zbMATH Keywords

cartesian closed categorieslambda-calculussemantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 906954
• A General Class of Models of $\mathcal{H}^*$
• Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
• On the characterization of models of H^: the semantical aspect
• Models of the lambda calculus: an introduction

Cited in

(10)

• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• On the characterization of models of H^: the semantical aspect
• A Filter Model for the λμ-Calculus
• A General Class of Models of $\mathcal{H}^*$
• A small model theorem for the hybrid  -calculus
• On Proving Limiting Completeness
• scientific article; zbMATH DE number 39362 (Why is no real title available?)
• scientific article; zbMATH DE number 906954 (Why is no real title available?)
• scientific article; zbMATH DE number 7340562 (Why is no real title available?)
• Parametric \(\lambda \)-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 Q4879947)