Andrea Asperti. ffi ffi!ffl = 1. In Jieh Hsiang, editor, Proceedings of the 6th Rewriting Techniques and Applications Conference (RTA'95), LNCS, pages 102 -- 116. Springer-Verlag, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reversible versus Irreversible Machines: Experimental Results - Blanchet, Mackie (Correct)
....correspond to Church numerals and functions operating upon them. Such terms provide an easy way to give a thorough test of reduction since we can generate a large number of fi reductions with small terms. The examples given are taken from those used by Asperti in the study of optimal reduction [1]. Table 1 shows the results of the execution of some of the defined functions. The contents of the table include the term together with the execution times for both the Geometry of Interaction Machine and the Krivine Machine. Table 2 shows the results of another set of test data that constitute ....
Andrea Asperti. ffi ffi!ffl = 1. In Jieh Hsiang, editor, Proceedings of the 6th Rewriting Techniques and Applications Conference (RTA'95), LNCS, pages 102 -- 116. Springer-Verlag, 1995.
Directed Virtual Reductions - Danos, Pedicini, Regnier (1996) (2 citations) (Correct)
No context found.
Andrea Asperti. ffi ffi!ffl = 1. In Hsiang (Jieh), editor, Proceedings of the Sixth Rewriting Techniques and Applications Conference, pages 102--116. Springer-Verlag, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC