Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Lambda-Calculus Unification

Name: Anonymous 2007-12-30 11:05

``A Unification Algorithm for Typed Lambda-Calculus.'' Journal of Theoretical Computer Science

I need this paper /prog/,
I know you guys have got connections... can you just do me this one favour?

Name: Anonymous 2008-01-05 1:14

>>1
http://www.mediafire.com/?eqdl0j9nmp3

Name: Anonymous 2008-01-05 4:58

>>41
oh my, Thank you so so so so much Anonymous!
Seriously <3 <3

Name: Anonymous 2009-02-25 6:18

Typed!

Name: Anonymous 2011-01-31 21:26

<-- check em dubz

Newer Posts

Lambda-Calculus Unification

1 Name: Anonymous 2007-12-30 11:05

41 Name: Anonymous 2008-01-05 1:14

42 Name: Anonymous 2008-01-05 4:58

43 Name: Anonymous 2009-02-25 6:18

44 Name: Anonymous 2011-01-31 21:26

Name: Anonymous 2007-12-30 11:05

Name: Anonymous 2008-01-05 1:14

Name: Anonymous 2008-01-05 4:58

Name: Anonymous 2009-02-25 6:18

Name: Anonymous 2011-01-31 21:26