Mathematics
Profile Activity
Network profile
147
reputation
8

ljedrz

In Rust we trust

3
answers
0
questions
~309
people reached
  • Spain
  • ljedrz
  • Member for 3 years, 11 months
  • 15 profile views
  • Last seen Apr 16 '18 at 19:58

Communities (6)

Top network posts

Top tags (4)

Score 3
Posts 3
Posts % 100
Score 2
Posts 2
Score 1
Posts 1
Score 1
Posts 1

Top posts (3)

All Questions Answers
Votes Newest
1 How to check an implementation of call-by-need is correct? Jan 12 '18
1 Some simple operators in the Lambda calculus and their interpretation Feb 23 '18
1 Evaluating the lambda expression $(𝜆𝑥𝑦.𝑥𝑥𝑦)(𝜆𝑥.𝑥𝑦)(𝜆𝑥.𝑥𝑧)$ Mar 18 '18

Badges (8)

Gold

—

Silver

—

Bronze

8

Rarest