scientific article; zbMATH DE number 883584

zbMATH Open0854.03012MaRDI QIDQ4879947FDOQ4879947

Authors Xavier Gouy

Publication date 29 July 1996

zbMATH Keywords

semanticslambda-calculuscartesian closed categories

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 \(\mathcal H^\ast\): the semantical aspect
• Models of the lambda calculus: an introduction

Cited in

(9)

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

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)