Researchers have recently proposed that for certain applications it is advantageous to use
functional languages whose type systems are based upon linear logic: so-called linear
functional languages. In this paper we develop reasoning techniques for programs in a linear
[bull ] A number of useful contextual equivalences between
[bull ] A notion of type isomorphism with respect to contextual equivalence, called operational isomorphism, is given. In particular the types !ϕ[otimes ]!ψ and !(ϕ&ψ) are proved to be operationally isomorphic.
[bull ] A translation of non-strict
Email your librarian or administrator to recommend adding this journal to your organisation's collection.