Theoretical Computer Science
Profile Activity
Network profile
2,995
reputation
8
28

MaiaVictor

Apparently, this user prefers to keep an air of mystery about them.

3
answers
56
questions
~19k
people reached
  • Brazil
  • maiavictor
  • Member for 7 years, 8 months
  • 536 profile views
  • Last seen Nov 21 '20 at 14:31

Communities (26)

Top network posts

Top tags (32)

Score 6
Posts 34
Posts % 58
Score 3
Posts 18
Score 3
Posts 9
Score 3
Posts 8
Score 1
Posts 23
Score 0
Posts 18
View all tags →

Top posts (59)

All Questions Answers
Votes Newest
14 Are there simple core languages which are consistent and expressive? Apr 28 '17
12 An example where smallest normal lambda term is not fastest Aug 23 '15
12 What makes a language (and its type-system) capable of proving theorems about its own terms? Feb 28 '18
12 Can we derive Cubical Type Theory from Self-Types? Sep 21 '20
10 Is `sort` typeable on elementary affine logic? Aug 29 '15
10 Are optimal evaluators actually optimal? Oct 18 '15
10 Algorithm to determine function equality on the simply typed lambda calculus? Mar 18 '14
10 How do you encode Lamping's abstract algorithm using interaction combinators? Aug 5 '15
9 How to make the Lambda Calculus strong normalizing without a type system? Dec 29 '13
9 Can Elementary Affine Logic be used as the core type system of a practical programming language? Oct 13 '16
View all questions and answers →

Badges (36)

Gold

—

Silver

8

Rarest

Bronze

28

Rarest

View all badges →

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.