An Implementation of Lambda Calculus on Graphic Cards — Abstract

[1]  R. Lathe.  Phd by thesis , 1988, Nature.

[2]  Ron Dinishak.  The optimal implementation of functional programming languages , 2000, SOEN.

[3]  Jean-Yves Girard,et al.  Towards a geometry of interaction , 1989 .

[4]  Cosimo Laneve,et al.  Paths in the lambda-calculus. Three years of communications without understanding , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[5]  Vincent Danos,et al.  Proof-nets and the Hilbert space , 1995 .

[6]  Vincent Danos,et al.  Local and asynchronous beta-reduction (an analysis of Girard's execution formula) , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

[7]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[8]  Arthemy V. Kiselev.  Geometry of interaction , 2011 .