Theoretical Computer Science
MaiaVictor's user avatar
MaiaVictor's user avatar
MaiaVictor's user avatar
MaiaVictor
  • Member for 9 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
3,035
reputation
22k
reached
3
answers
57
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
30
bronze badges
Top tags
View all tags
6
Score
35
Posts
58
Posts %
3
Score
18
Posts
30
Posts %
3
Score
9
Posts
15
Posts %
3
Score
8
Posts
13
Posts %
1
Score
24
Posts
40
Posts %
0
Score
18
Posts
30
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
15
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
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
Algorithm to determine function equality on the simply typed lambda calculus?
Mar 18, 2014
question
10
How to make the Lambda Calculus strong normalizing without a type system?
Dec 29, 2013
question
10
How do you encode Lamping's abstract algorithm using interaction combinators?
Aug 5, 2015
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
936
How to change node.js's console font color?
238
Why use a database instead of just saving your data to disk?
202
What is an appropriate type for smart contracts?
146
What are the differences between Clojure, Scheme/Racket and Common Lisp?
139
Why are λ-calculus optimal evaluators able to compute big modular exponentiations without formulas?

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.