Nicolas Tabareau

Documents

Présentation

1053529

	Setoid type theory - a syntactic translation Thorsten Altenkirch , Simon Boulier , Ambrus Kaposi , Nicolas Tabareau MPC 2019 - 13th International Conference on Mathematics of Program Construction, Oct 2019, Porto, Portugal. pp.155-196, ⟨10.1007/978-3-030-33636-3_7⟩ Communication dans un congrès hal-02281225v1