Theoretical Computer Science
Profile Activity
Meta user
Network profile
626
reputation
4
14

gallais

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

9
answers
0
questions
~8k
people reached
  • Glasgow, Scotland, UK
  • gallais.org
  • Member for 9 years, 8 months
  • 45 profile views
  • Last seen Oct 1 '20 at 13:15

Communities (22)

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (9)

All Questions Answers
Votes Newest
14 Why does Coq have Prop? Mar 31 '14
10 Type theory and computational complexity Oct 25 '18
6 Typing of substitution in a bidirectional type system Nov 2 '18
5 Translation from basic While-language to $\lambda$-calculus May 19 '11
5 What are the negative consequences of extending CIC with axioms? Dec 19 '15
2 A formal grammar for P? May 20 '11
2 Is there an algorithm to generate proof in Coq? Jul 31 '15
2 Formalization of dependent record types/kinds in MLTT or variant thereof? Sep 3 '19
2 Non-termination, strict positivity and free monads Feb 27 '20

Badges (18)

Gold

—

Silver

4

Rarest

Bronze

14

Rarest

View all badges →