Theoretical Computer Science
MaiaVictor's user avatar
MaiaVictor's user avatar
MaiaVictor's user avatar
MaiaVictor
  • Member for 10 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
3,117
reputation
24k
reached
4
answers
59
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
32
bronze badges
Top tags
View all tags
6
Score
35
Posts
56
Posts %
3
Score
18
Posts
29
Posts %
3
Score
12
Posts
19
Posts %
3
Score
8
Posts
13
Posts %
1
Score
27
Posts
43
Posts %
0
Score
18
Posts
29
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
16
Can we derive Cubical Type Theory from Self-Types?
Sep 21, 2020
question
14
Are there simple core languages which are consistent and expressive?
Apr 28, 2017
question
12
An example where smallest normal lambda term is not fastest
Aug 23, 2015
question
12
How to make the Lambda Calculus strong normalizing without a type system?
Dec 29, 2013
question
12
What makes a language (and its type-system) capable of proving theorems about its own terms?
Feb 28, 2018
question
11
Are optimal evaluators actually optimal?
Oct 18, 2015
question
10
Is `sort` typeable on elementary affine logic?
Aug 29, 2015
question
10
How do you encode Lamping's abstract algorithm using interaction combinators?
Aug 5, 2015
question
10
Algorithm to determine function equality on the simply typed lambda calculus?
Mar 18, 2014
question
9
Can Elementary Affine Logic be used as the core type system of a practical programming language?
Oct 13, 2016
Top network posts
View all network posts
972
How to change node.js's console font color?
241
Why use a database instead of just saving your data to disk?
202
What is an appropriate type for smart contracts?
172
Why are λ-calculus optimal evaluators able to compute big modular exponentiations without formulas?
149
What are the differences between Clojure, Scheme/Racket and Common Lisp?

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.