Intersection types for lambda-terms and combinators and their logics
type: Item
instance of: scholarly article
title: Intersection types for lambda-terms and combinators and their logics
zbMATH Open document ID: 1022.03005
publication date: 2003-11-02T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1836030
zbMATH Keywords: lambda calculus
zbMATH Keywords: logic of intersection types
zbMATH Keywords: Venneri logic
zbMATH Keywords: natural deduction-style logic
zbMATH Keywords: lambda terms
zbMATH Keywords: combinators
zbMATH Keywords: assignment system
author: Martin W. Bunder
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/10.4.357
OpenAlex ID: W2170952169
DOI: 10.1093/JIGPAL/10.4.357
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 1836030