scientific article; zbMATH DE number 1499094

zbMATH Open0946.03017MaRDI QIDQ4501148FDOQ4501148

Authors: R. Hoofman 

Publication date: 3 September 2000

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

Recommendations

• Comparing models of the intensional typed \(\lambda\)-calculus
• scientific article; zbMATH DE number 4051567
• scientific article; zbMATH DE number 4103048
• Categorical models for non-extensional λ-calculi and combinatory logic
• Models of the lambda calculus: an introduction

zbMATH Keywords

powerset modelsminimal interpretation of type constructornon-extensional typed lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• \(M\)-set models
• A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
• Title not available (Why is that?)
• Comparing models of the intensional typed \(\lambda\)-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 Q4501148)