Intersection types for λGtz-calculus
type: Item
instance of: scholarly article
title: Intersection types for λGtz-calculus
zbMATH Open document ID: 1164.03001
DOI: 10.2298/PIM0796085G
author: Silvia Ghilezan
author: Jelena Ivetić
published in: Publications de l'Institut Math?matique (Belgrade)
publication date: 2008-07-02T00:00:00Z
full work available at URL: https://eudml.org/doc/130037
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 5296694
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: intuitionistic logic
MaRDI profile type: MaRDI publication profile
Recommended article: Intersection typed \(\lambda \)-calculus
Recommended article: Characterising strongly normalising intuitionistic terms
Recommended article: Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus
Recommended article: Intersection-types à la Church
Recommended article: Strict intersection types for the lambda calculus
description: scientific article; zbMATH DE number 5296694