Theoretical Computer Science
Łukasz Lew's user avatar
Łukasz Lew's user avatar
Łukasz Lew's user avatar
Łukasz Lew
  • Member for 6 years, 2 months
  • Last seen more than 1 year ago
  • Warsaw, Poland
Profile Activity
Stats
1,177
reputation
6k
reached
6
answers
16
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
12
bronze badges
Top tags
View all tags
30
Score
7
Posts
32
Posts %
19
Score
14
Posts
64
Posts %
10
Score
9
Posts
41
Posts %
2
Score
4
Posts
18
Posts %
1
Score
5
Posts
23
Posts %
0
Score
4
Posts
18
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
10
Representing bound variables with a function from uses to binders
Sep 7, 2018
question
9
Parametricity of Linear Logic
Jun 9, 2018
answer
8
Is it possible to create a "quote" function that, given a native λ-term, returns its λ-encoded representation?
Jun 27, 2018
answer
8
If the untyped language is terminating, can we still derive a contradiction from `Type : Type`?
Jul 19, 2018
question
7
Is case analysis on normal forms of lambda terms sufficient to prove parametricity results?
Jan 23, 2019
question
7
Does this variant of Multiplicative Linear Logic with mix rule enjoy cut elimination?
May 25, 2018
question
6
Is Church-pentation implementable in Agda?
Jun 13, 2018
question
6
Postulating self types in a proof assistant
May 3, 2020
question
5
What's the difference between proving weak normalization and implementing evaluator?
Jun 12, 2018
question
5
Complexity of type-checking in relation to complexity of normalization
Aug 13, 2018
Top network posts
View all network posts
854
How to generate a random int in C?
776
What is the difference between Cygwin and MinGW?
261
What is the difference between TeX and LaTeX?
250
How do I forward parameters to other command in bash script?
109
How can I convert immutable.Map to mutable.Map in Scala?

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.