scientific article; zbMATH DE number 1788924
From MaRDI portal
Publication:4548528
zbMATH Open1047.68552MaRDI QIDQ4548528FDOQ4548528
Authors: Ryu Hasegawa 
Publication date: 26 August 2002
Title of this publication is not available (Why is that?)
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4548528)
