Static typing for a substructural lambda calculus
type: Item
instance of: scholarly article
title: Static typing for a substructural lambda calculus
zbMATH Open document ID: 1267.68086
author: Baojian Hua
published in: Frontiers of Computer Science in China
publication date: 2013-07-04T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 6183891
zbMATH Keywords: programming languages
zbMATH Keywords: linear type systems
zbMATH Keywords: substructural type system
zbMATH Keywords: subtyping theory
zbMATH Keywords: type preserving translation
MaRDI profile type: Publication
full work available at URL: s11704-011-9106-1
OpenAlex ID: W2078715622
cites work: Linear logic
cites work: On the unity of logic
cites work: On regions and linear types (extended abstract)
cites work: Q4263877
cites work: Q2729060
cites work: An effective theory of type refinements
cites work: Q3996398
DOI: 10.1007/S11704-011-9106-1
description: scientific article; zbMATH DE number 6183891