A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
type: Item
instance of: scholarly article
title: A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
zbMATH Open document ID: 0821.03007
DOI: 10.1016/0304-3975(93)90014-K
author: Thomas Forster
published in: Theoretical Computer Science
publication date: 1993-05-16T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 166978
zbMATH Keywords: model-theoretic operation
zbMATH Keywords: model of typed \(\lambda\)-calculus
MaRDI profile type: Publication
cites work: Model theory.
cites work: Permutations and stratified formulae a preservation theorem
cites work: Q4850035
cites work: When is a variety a topos ?
cites work: Q5619069
cites work: Q3331205
cites work: Q3264229
cites work: Q5529477
description: scientific article; zbMATH DE number 166978