Mostowski Collapse

Reputation

210

Top tag

lambda-calculus

250 Rep.

View close votes

Excavator

0/1

1 post edited

0 helpful flags

41 votes cast

Jan 6

20:35

edit

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

Feb 24 '16

Aug 6 '15

Jun 13 '15

Jun 12 '15

100

Sep 16 '13