scientific article; zbMATH DE number 883584

zbMATH Open0854.03012MaRDI QIDQ4879947FDOQ4879947

Authors: Xavier Gouy 

Publication date: 29 July 1996

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

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

zbMATH Keywords

semanticslambda-calculuscartesian closed categories

Mathematics Subject Classification ID

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

Cited In (9)

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

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)