type theory meme

lemmy.ml

type theory meme

lemmy.ml

schuelermine@leminal.space to computerscience@lemmy.mlEnglish · 5 months ago

You must log in or register to comment.

Chat

computerscience@lemmy.ml

Create a post

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: !computerscience@lemmy.ml

A community platform to talk about the many subfields of computer science. We welcome the discussion of:

Theoretical computer science
The design and analysis of algorithms
Compiler and programming language design
Type theory
Network theory
Classical artificial intelligence – heuristic search, automated planning, and so on.
And many more subfields!

This community is not for the computer science major, or for programming or homework questions.

Visibility: Public

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

1 user / day
12 users / week
12 users / month
19 users / 6 months
3 local subscribers
203 subscribers
5 Posts
3 Comments
Modlog

mods:
AgentElement@lemmy.ml