Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 12 years, 2 months
  • Last seen more than a month ago
1 vote
2 answers
155 views

Free variables as defined in TAPL seems wrong

3 votes
2 answers
137 views

What does "lambda terms modulo convertibility" mean?

1 vote
0 answers
31 views

What does "terms modulo" mean? [duplicate]

1 vote
1 answer
75 views

Revisiting Fixed Point: What does it mean in the world of computer science?

1 vote
2 answers
190 views

How is a type system related to a progam?

2 votes
1 answer
237 views

Where can I find rules for source to source transformation optimization rules?

0 votes
1 answer
132 views

What is a preterm parser?

7 votes
2 answers
426 views

TAPL: Explanation and example(s) for satisfied

4 votes
2 answers
460 views

How does one deduce small step operational semantics?

12 votes
1 answer
854 views

The "CPS" approach has done great harm to performance in SML/NJ; reasoning desired

6 votes
3 answers
556 views

Tool/app for learning category theory?

22 votes
2 answers
1k views

What is meant by Category theory doesn't yet know how to deal with higher-order functions?

27 votes
3 answers
4k views

What is the relation between functors in SML and Category theory?

31 votes
2 answers
3k views

How are programming languages and foundations of mathematics related?

3 votes
1 answer
779 views

λ-Calculus extensions: meaning of extension symbols

1 vote
1 answer
163 views

Phrase generators for use with testing grammars that don't use a seed

4 votes
0 answers
120 views

Is there any research to indicate programmers are/are not moving to a hybrid of functional and object-oriented?

19 votes
5 answers
7k views

Fixed point, what does it mean in the world of computer science

16 votes
4 answers
984 views

Is there a repository for the hierarchy of proofs?

6 votes
6 answers
522 views

Looking for books on creating and understanding theorems targeted at Computer Science

5 votes
1 answer
535 views

Period in postulate; what does it mean?

6 votes
1 answer
260 views

Looking for a book that derives and constructs a model checking application

3 votes
2 answers
167 views

Regular Expression for the language that requires one symbol to occur at least once

13 votes
3 answers
3k views

Why is using a lexer/parser on binary data so wrong?

18 votes
3 answers
3k views

Why is unification so important to inference engines?

16 votes
2 answers
463 views

Why do some inference engines need human assistance while others don't?

20 votes
1 answer
1k views

Types of Automated Theorem Provers

48 votes
6 answers
10k views

Learning Automated Theorem Proving