Computational isomorphisms in classical logic
type: Item
instance of: scholarly article
title: Computational isomorphisms in classical logic
zbMATH Open document ID: 1029.03047
DOI: 10.1016/S0304-3975(01)00148-7
author: Vincent Danos
author: Jean-Baptiste Joinet
author: Harold Schellinx
published in: Theoretical Computer Science
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1956196
zbMATH Keywords: Proof theory
zbMATH Keywords: Linear logic
zbMATH Keywords: Classical logic
MaRDI profile type: Publication
cites work: A new deconstructive logic: linear logic
cites work: A new constructive logic: classic logic
cites work: Q4274979
cites work: Q4255509
cites work: Proofs of strong normalisation for second order classical natural deduction
full work available at URL: s0304-3975(01)00148-7
OpenAlex ID: W1990718046
description: scientific article; zbMATH DE number 1956196