%0 Journal Article %A van der Schaar, Maria %D 2011 %I Springer Verlag %J Synthese %N 2 %P 187-210 %T Assertion and grounding: a theory of assertion for constructive type theory %V 183