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 2007-12-31 16:03

>>16
Really? Because I've read the PDF specification and I never came across anything like that.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -