Soft & Curious Question for mathematicians who currently work in type theory, category theory, set theory, applied logic, Homotopy type theory, model theory and theoretical computer science. - discu.eu

Reddit

Soft & Curious Question for mathematicians who currently work in type theory, category theory, set theory, applied logic, Homotopy type theory, model theory and theoretical computer science. https://www.cs.ox.ac.uk/files/3390/PRG69.pdf 10 comments 14/9/2017 math

Linking pages

talk-transcripts/Transducers.md at master · matthiasn/talk-transcripts · GitHub https://github.com/matthiasn/talk-transcripts/blob/master/Hickey_Rich/Transducers.md 11 comments

Related searches:

Search whole site: site:www.cs.ox.ac.uk

Search title: Soft & Curious Question for mathematicians who currently work in type theory, category theory, set theory, applied logic, Homotopy type theory, model theory and theoretical computer science.

See how to search.

Submit link to: