S. Awodey and M. A. Warren, Homotopy theoretic models of identity types, Math. Proc. Camb, pp.45-55, 2009.
DOI : 10.1016/0022-4049(77)90067-6

J. Cartmell, Generalised algebraic theories and contextual categories, Annals of Pure and Applied Logic, vol.32, pp.209-243, 1986.
DOI : 10.1016/0168-0072(86)90053-9
URL : http://doi.org/10.1016/0168-0072(86)90053-9

N. Gambino and R. Garner, The identity type weak factorisation system, Theoretical Computer Science, vol.409, issue.1, pp.94-109, 2008.
DOI : 10.1016/j.tcs.2008.08.030

R. Garner and B. Berg, Types are weak ?-groupoids, Proceedings of the London Mathematical Society, vol.102, issue.2, pp.370-374, 2011.

R. Garner and B. Berg, Topological and simplicial models of identity types, ACM Transaction on Computational Logic, vol.13, issue.3, pp.1-3, 2012.

M. Hofmann, On the interpretation of type theory in locally cartesian closed categories, of Lect. Notes in Comp. Sci. Springer, pp.427-441, 1994.
DOI : 10.1007/BFb0022273

M. Hofmann and T. Streicher, The groupoid interpretation of type theory, Twenty-five Years of Constructive Type Theory, 1995.

B. Jacobs, Categorical Logic and Type Theory. No. 141 in Studies in Logic, 1999.

F. Lamarche, Modelling polymorphism with categories, 1989.

F. Lamarche, Path functors in Cat, submitted, 2013.

J. Lambek, Bilinear logic in algebra and linguistics Advances in Linear Logic, Soc. Lec. Notes, vol.222, pp.43-59, 1994.

W. Lawvere, Metric spaces, generalized logic and closed categories Rendiconti del Seminario Matematico e Fisico di Milano XLIII, pp.135-166, 1973.

P. Lumsdaine, Weak ?-categories obtained from weak factorization systems, of Lect. Notes in Comp. Sci, 2009.

A. M. Pitts, Categorical logic Handbook of Logic in Computer Science, pp.39-128, 2000.

T. Streicher, Identity types and weak omega-groupoids, notes of talk given at Uppsala, 2006.

T. Streicher, A model of type theory in simplicial sets, Journal of Applied Logic, vol.12, issue.1, 2013.
DOI : 10.1016/j.jal.2013.04.001

P. Taylor, Recursive domains, indexed category theory and polymorphism, 1987.

V. Voevodsky, A very short note on homotopy lambdacalculus, 2006.

M. A. Warren, Homotopy theoretic aspects of constructive type theory, 2008.