arXiv:1205.5527 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords combinatorial realizability models, intensional type theory, streicher groupoid semantics, syntactic model, free groupoid Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset