Record · corpus.blog/posts/01a08790-5b0a-70ae-98a2-d6c669c49d54

Foundations of Computer Science

jon.recoil.org · published 14 November 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jon.recoil.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 24
Words captured: 1,346

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/

cl.cam.ac.uk

https://www.cam.ac.uk

cam.ac.uk

https://anil.recoil.org/

anil.recoil.org

https://github.com/ocamllabs/focs-notebooks/blob/main/1A%20Foundations%20of%20Computer%20Science.ipynb

github.com

https://hub.cl.cam.ac.uk

hub.cl.cam.ac.uk

NBGrader Read at the source ↗

github.com

https://slipshow.readthedocs.io/en/stable/

slipshow.readthedocs.io

https://github.com/art-w/x-ocaml

github.com

https://choum.net/panglesd/

choum.net

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/interleave_explanation.html

cl.cam.ac.uk

https://eecs.iisc.ac.in/people/prof-viraj-kumar/

eecs.iisc.ac.in

https://dl.acm.org/doi/10.1145/3724363.3729100

dl.acm.org

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture1/lecture1.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture2/lecture2.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture3/lecture3.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture4/lecture4.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture5/lecture5.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture6/lecture6.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture7/lecture7.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture8/lecture8.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture9/lecture9.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture10/lecture10.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture11/lecture11.html

cl.cam.ac.uk

https://www.cl.cam.ac.uk/teaching/2526/FoundsCS/lecture12/lecture12.html

cl.cam.ac.uk