Computer Science
Molly Stewart-Gallus's user avatar
Molly Stewart-Gallus's user avatar
Molly Stewart-Gallus's user avatar
Molly Stewart-Gallus
  • Member for 7 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
91
reputation
458
reached
1
answer
6
questions
Communities
View all
About

I have an amateur interest in type theory , maths and pictures of cute animals.

cute possum in drawer of desk

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
5
Posts
71
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
5
What's the internal language of the opposite of a Cartesian closed category?
Sep 8, 2020
question
3
If I randomly swap pairs of inputs how unbalanced will a binary search tree become?
Mar 8, 2017
question
2
What is the category theory interpretation of higher order abstract syntax?
Sep 1, 2020
question
2
What does point-free mean mathematically?
Dec 8, 2020
question
1
Can I get the lambda calculus for free from Cartesian closed categories?
Sep 3, 2020
question
1
How to use debruijn indices with linear lambda calculus?
Feb 26, 2022
answer
0
Mapping a free variable of type A to a cartesian closed category
Dec 8, 2020
Top network posts
View all network posts
27
How can I make my stack monad faster?
20
Is Pauli-repulsion a "force" that is completely separate from the 4 fundamental forces?
18
Why doesn't matter clump together such that it can't be taken apart again?
17
How can I get JHC to cooperate with the android ndk?
17
What is the shape of a deuterium nucleus?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.