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-04 9:25

>>32
http://portal.acm.org/citation.cfm?id=1096478
^_______________________________________^;;;

Newer Posts

Lambda-Calculus Unification

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

34 Name: Anonymous 2008-01-04 9:25

Name: Anonymous 2007-12-30 11:05

Name: Anonymous 2008-01-04 9:25