The focused calculus of structures
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.03117
author: Kaustuv Chaudhuri
author: Nicolas Guenot
author: Lutz Straßburger
publication date: 2012-09-18T00:00:00Z
full work available at URL: frontdoor 57fa.html
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 6083537
zbMATH Keywords: focusing
zbMATH Keywords: polarity
zbMATH Keywords: calculus of structures
zbMATH Keywords: linear logic
MaRDI profile type: Publication
DOI: 10.4230/LIPICS.CSL.2011.159
title: The focused calculus of structures
description: scientific article; zbMATH DE number 6083537