Theoretical Computer Science
Meta user
Network profile
85
reputation
6

Scott Kilpatrick

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

0
answers
1
question
~1k
people reached
  • Saarbrücken, Germany
  • mpi-sws.org/~skilpat
  • Member for 8 years, 7 months
  • 71 profile views
  • Last seen Feb 15 '15 at 16:05

Communities (6)

Top network posts

We respect a laser-like focus on one topic.

Top tags (5)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

16 What is the role of predicativity in inductive definitions in type theory? Apr 13 '11

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest