Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder's user avatar
Guy Coder
  • Member for 12 years, 1 month
  • Last seen more than a month ago
48 votes
6 answers
10k views

Learning Automated Theorem Proving

31 votes
2 answers
3k views

How are programming languages and foundations of mathematics related?

27 votes
3 answers
4k views

What is the relation between functors in SML and 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?

20 votes
1 answer
1k views

Types of Automated Theorem Provers

19 votes
5 answers
7k views

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

18 votes
3 answers
3k views

Why is unification so important to inference engines?

16 votes
2 answers
462 views

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

16 votes
4 answers
983 views

Is there a repository for the hierarchy of proofs?

13 votes
3 answers
3k views

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

12 votes
1 answer
852 views

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

7 votes
2 answers
425 views

TAPL: Explanation and example(s) for satisfied

6 votes
3 answers
553 views

Tool/app for learning category theory?

6 votes
6 answers
520 views

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

6 votes
1 answer
256 views

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

5 votes
1 answer
535 views

Period in postulate; what does it mean?

4 votes
2 answers
458 views

How does one deduce small step operational semantics?

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?

3 votes
2 answers
166 views

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

3 votes
2 answers
136 views

What does "lambda terms modulo convertibility" mean?

3 votes
1 answer
774 views

λ-Calculus extensions: meaning of extension symbols

2 votes
1 answer
237 views

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

1 vote
2 answers
190 views

How is a type system related to a progam?

1 vote
1 answer
75 views

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

1 vote
0 answers
31 views

What does "terms modulo" mean? [duplicate]

1 vote
2 answers
152 views

Free variables as defined in TAPL seems wrong

1 vote
1 answer
163 views

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

0 votes
1 answer
132 views

What is a preterm parser?