Computer Science
Natalie Clarius's user avatar
Natalie Clarius's user avatar
Natalie Clarius's user avatar
Natalie Clarius
  • Member for 6 years, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
766
reputation
4k
reached
14
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
36
Score
13
Posts
81
Posts %
6
Score
1
Posts
6
Posts %
4
Score
2
Posts
12
Posts %
4
Score
2
Posts
12
Posts %
4
Score
1
Posts
6
Posts %
4
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
6
Could following be a counter example to Church-Rosser (Confluence) theorem?
Aug 22, 2019
answer
6
What is the diference between $\lambda x.1$ and $1$?
Nov 12, 2020
question
5
Where is simply typed lambda calculus on the Chomsky hiererchy?
Apr 7, 2020
question
4
What is the computational complexity of "real-life" regular expressions?
Jun 23, 2020
answer
4
lambda calculus with church numerals
Apr 23, 2019
answer
4
Free variables as defined in TAPL seems wrong
Jan 28, 2022
answer
4
Confusion when composing functions in Lambda expression
Feb 19
answer
3
The barbers paradox first order logic formalization
Apr 29, 2019
answer
3
Is λx. a valid Lamda Calculus abstraction?
Jun 1, 2019
answer
3
Is (λx.FV(A)) and (λx.FV(B)) β-equivalent?
Nov 8, 2020
Top network posts
View all network posts
52
Why should we care about syntactic proofs if we can show semantically that statements are true?
33
Why is it that the statement "All goblins are yellow" does not contradict the statement "All goblins are pink?"
30
How do you differentiate between At least one X and Exactly one X in predicate logic?
29
Could we rank languages, saying one is superior to the other?
23
What exactly is a contradiction and how does it differ from falsity?

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.