Susam

PostsComments

susam@lemmy.mlMEnglish · 3 months ago

A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]

0

1

A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]

susam@lemmy.mlMEnglish · 3 months ago

0

susam@lemmy.mlMEnglish · 8 months ago

Programming in Standard ML (Harper, 2011) [PDF]

0

1

Programming in Standard ML (Harper, 2011) [PDF]

susam@lemmy.mlMEnglish · 8 months ago

0

susam@lemmy.mlMEnglish · 8 months ago

Structure and Interpretation of Computer Programs, 2nd ed. [PDF]

0

1

Structure and Interpretation of Computer Programs, 2nd ed. [PDF]

susam@lemmy.mlMEnglish · 8 months ago

0

susam@lemmy.mlMEnglish · 9 months ago

Galois Theory (Tom Leinster, University of Edinburgh)

www.maths.ed.ac.uk

0

1

Galois Theory (Tom Leinster, University of Edinburgh)

www.maths.ed.ac.uk

susam@lemmy.mlMEnglish · 9 months ago

0

Susam@lemmy.ml

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

Community locked: only moderators can create posts. You can still comment on posts.

Technology, computation, programming, and mathematics links curated by susam.

Topics

Computing
Programming
Mathematics

Online Presence

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
1 user / week
1 user / month
1 user / 6 months
1 local subscriber
35 subscribers
4 Posts
0 Comments
Modlog

mods:
susam@lemmy.ml