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-30 11:18

UFT
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 -