Geometry of interaction III: accommodating the additives

Publisher Website

22 June 1995

book chapter
Published by Cambridge University Press (CUP)

p. 329-389
https://doi.org/10.1017/cbo9780511629150.017

Abstract

Advances in Linear Logic - June 1995

This publication has 0 references indexed in Scilit: