Network profile

Mostowski Collapse

Reputation

208

Top tag

lambda-calculus

250 Rep.

View close votes

Yearling

0/1

0 posts edited

0 helpful flags

35 votes cast

Dec 14 '18

+10	02:54	upvote	Generating constraints to solve dependently-typed metavariables?
+10	02:54	upvote	$\lambda$-calculus with reflection
+10	02:54	upvote	$\lambda$-calculus with reflection

Apr 10 '16

+10

18:45

upvote

Feb 25 '16

+10

00:28

upvote

Feb 24 '16

Aug 6 '15

Jun 13 '15

Jun 12 '15

100

Sep 16 '13