@phdthesis{siles:pastel-00556578, TITLE = {{Investigation on the typing of equality in type systems}}, AUTHOR = {Siles, Vincent}, URL = {https://pastel.hal.science/pastel-00556578}, SCHOOL = {{Ecole Polytechnique X}}, YEAR = {2010}, MONTH = Nov, KEYWORDS = {Pure Type Systems ; Judgmental Equality ; Proof Assistant ; Type Theory ; Lambda Calculus ; lambda calcul ; Syst{\`e}mes de Types Purs ; Jugement d'{\'e}galit{\'e} typ{\'e}e ; Coq ; assistant de preuves ; th{\'e}orie des types}, TYPE = {Theses}, PDF = {https://pastel.hal.science/pastel-00556578/file/these.pdf}, HAL_ID = {pastel-00556578}, HAL_VERSION = {v1}, }