Dal Lago, Ugo; Baillot, Patrick On light logics, uniform encodings and polynomial time. (English) Zbl 1103.03060 Math. Struct. Comput. Sci. 16, No. 4, 713-733 (2006). MSC: 03F52 03B70 PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{P. Baillot}, Math. Struct. Comput. Sci. 16, No. 4, 713--733 (2006; Zbl 1103.03060) Full Text: DOI
Dougherty, Daniel J.; Lescanne, Pierre; Liquori, Luigi Addressed term rewriting systems: application to a typed object calculus. (English) Zbl 1122.68069 Math. Struct. Comput. Sci. 16, No. 4, 667-709 (2006). MSC: 68Q42 PDF BibTeX XML Cite \textit{D. J. Dougherty} et al., Math. Struct. Comput. Sci. 16, No. 4, 667--709 (2006; Zbl 1122.68069) Full Text: DOI
Sinot, F.-R. Call-by-need in token-passing nets. (English) Zbl 1122.68034 Math. Struct. Comput. Sci. 16, No. 4, 639-666 (2006). MSC: 68N18 68Q85 PDF BibTeX XML Cite \textit{F. R. Sinot}, Math. Struct. Comput. Sci. 16, No. 4, 639--666 (2006; Zbl 1122.68034) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert Reversible combinatory logic. (English) Zbl 1103.03015 Math. Struct. Comput. Sci. 16, No. 4, 621-637 (2006). MSC: 03B40 68Q05 PDF BibTeX XML Cite \textit{A. Di Pierro} et al., Math. Struct. Comput. Sci. 16, No. 4, 621--637 (2006; Zbl 1103.03015) Full Text: DOI
Perdrix, Simon; Jorrand, Philippe Classically controlled quantum computation. (English) Zbl 1122.68061 Math. Struct. Comput. Sci. 16, No. 4, 601-620 (2006). MSC: 68Q10 81P68 PDF BibTeX XML Cite \textit{S. Perdrix} and \textit{P. Jorrand}, Math. Struct. Comput. Sci. 16, No. 4, 601--620 (2006; Zbl 1122.68061) Full Text: DOI
Gay, Simon J. Quantum programming languages: survey and bibliography. (English) Zbl 1122.68021 Math. Struct. Comput. Sci. 16, No. 4, 581-600 (2006). MSC: 68N15 81P68 PDF BibTeX XML Cite \textit{S. J. Gay}, Math. Struct. Comput. Sci. 16, No. 4, 581--600 (2006; Zbl 1122.68021) Full Text: DOI
Banâtre, J.-P.; Fradet, P.; Radenac, Y. Generalised multisets for chemical programming. (English) Zbl 1122.68057 Math. Struct. Comput. Sci. 16, No. 4, 557-580 (2006). MSC: 68Q10 68N01 PDF BibTeX XML Cite \textit{J. P. Banâtre} et al., Math. Struct. Comput. Sci. 16, No. 4, 557--580 (2006; Zbl 1122.68057) Full Text: DOI