Setoid type theory - a syntactic translation

Document type :
Conference papers
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-02281225
Contributor : Nicolas Tabareau <>
Submitted on : Sunday, September 8, 2019 - 11:55:23 PM
Last modification on : Thursday, October 3, 2019 - 1:15:56 PM

File

mpc2019.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02281225, version 1

Collections

Citation

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau. Setoid type theory - a syntactic translation. MPC 2019 - 13th International Conference on Mathematics of Program Construction, Oct 2019, Porto, Portugal. ⟨hal-02281225⟩

Share

Metrics

Record views

42

Files downloads

501