On the linear decoration of intuitionistic derivations

On the linear decoration of intuitionistic derivations

Saved in:
Bibliographic Details
Published in:Archive for mathematical logic Vol. 33; no. 6; pp. 387 - 412
Main Authors: Danos, Vincent, Joinet, Jean-Baptiste, Schellinx, Harold
Format: Journal Article
Language:English
Published: Berlin Springer International 01-02-1995
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:0933-5846
1432-0665
DOI:10.1007/BF02390456