Luca Bressan

Member for 11 years, 4 months
Last seen more than 3 years ago

Italy

Summary

Reputation

181

181

2021
2022
2023
2024

Top tag

type-theory

Next privilege

200 Rep.

See reduced ads

Badges

6

Newest

Informed

Next badge

0/1

Critic

Impact

~299

people reached

0

posts edited

0

helpful flags

38

votes cast

Questions

4

Problem with a proof in Wellfounded trees in categories

May 18, 2015

3

Logical framework for type theories like ML and CIC

Feb 8, 2015

Answers

3

Example of an unnatural isomorphism

Aug 14, 2013

Tags

type-theory

0

Score

2

posts

ct.category-theory

0

Score

2

posts

reference-request

0

Score

1

post

induction

0

Score

1

post

lo.logic

0

Score

1

post

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

6

bronze badges

Teacher

Aug 14, 2013
Informed

Mar 16, 2015
Editor

Aug 14, 2013

Accounts

View all 10 accounts

6,901
2
21
47

Mathematics Educators

191
3

181
6

Theoretical Computer Science

101
2

Computer Science

101
2

Active bounties (0)

This user has no active bounties

Votes cast

38

upvotes

20

question votes

18

answer votes