Theoretical Computer Science
Alejandro DC's user avatar
Alejandro DC's user avatar
Alejandro DC's user avatar
Alejandro DC
  • Member for 13 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
701
reputation
4k
reached
3
answers
5
questions
Communities
View all
About

I am CONICET researcher and Professor at Universidad Nacional de Quilmes and Instituto de Ciencias de la Computación (CONICET/Universidad de Buenos Aires).

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
14
bronze badges
Top tags
View all tags
8
Score
5
Posts
62
Posts %
8
Score
3
Posts
38
Posts %
8
Score
3
Posts
38
Posts %
8
Score
2
Posts
25
Posts %
5
Score
2
Posts
25
Posts %
5
Score
2
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
12
Barendregt's proof of subject reduction for $\lambda2$
Nov 9, 2011
question
11
Does the System F with pairs have the strong normalisation and subject reduction properties?
Sep 2, 2010
question
9
In System F à la Church, can we automatize type inference for the for-all elimination?
Sep 16, 2010
question
9
System F and System T names
Apr 6, 2018
answer
8
Barendregt's proof of subject reduction for $\lambda2$
Nov 11, 2011
question
5
Nested automatization of type inference of forall elimination
Oct 6, 2010
answer
5
What is the quantum computational model?
Aug 30, 2010
answer
2
What is the quantum computational model?
Sep 1, 2010
Top network posts
View all network posts
27
Lettrine package and the letter L
26
Label following arrow in TikZ
17
Alignment in inline math
13
Hyperref is loaded by the class, and I need to load packages that are supposed to be loaded before
13
Using \BeforePackage to load a package before hyperref does not work

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.