Theoretical Computer Science
Profile Activity
Network profile
3,035
reputation
8
28

MaiaVictor

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

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

Communities (26)

Top network posts

Top tags (0)

This user has not participated in any 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 How do you encode Lamping's abstract algorithm using interaction combinators? Aug 5 '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
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 →