Computer Science
N. Virgo's user avatar
N. Virgo's user avatar
N. Virgo's user avatar
N. Virgo
  • Member for 9 years, 8 months
  • Last seen more than a month ago
Profile Activity

10 Questions

Score Activity Newest Views
22 votes
2 answers
1k views

Basis sets for combinator calculus

16 votes
3 answers
2k views

A quine in pure lambda calculus

13 votes
1 answer
278 views

What functions can combinator calculus expressions compute?

10 votes
2 answers
638 views

Mathematical conjectures equivalent to the halting of a Turing machine

6 votes
1 answer
395 views

Combinator equivalent to eta conversion

5 votes
3 answers
428 views

Defining computable functions on arbitrary sets

4 votes
1 answer
275 views

Minimal requirements for Kleene's recursion theorem

3 votes
1 answer
68 views

Has the notion of "non-cheating" quines been formalised?

1 vote
2 answers
58 views

"Largest set" in coinductive definitions

1 vote
1 answer
300 views

Algorithm for finding cycles in a hypergraph

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.