On Encoding tex2html_wrap_inline20 in tex2html_wrap_inline22

Paola Quaglia
David Walker

October 1998


This paper is about the encoding of tex2html_wrap_inline20, the polyadic tex2html_wrap_inline26-calculus, in tex2html_wrap_inline22, the monadic tex2html_wrap_inline26-calculus. A type system for tex2html_wrap_inline22 processes is introduced that captures the interaction regime underlying the encoding of tex2html_wrap_inline20 processes respecting a sorting. A full-abstraction result is shown: two tex2html_wrap_inline20 processes are typed barbed congruent iff their tex2html_wrap_inline22 encodings are monadic-typed barbed congruent

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.