Efficient Mendler-Style Lambda-Encodings in Cedille

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94821-8_14 ◽

2018 ◽

pp. 235-252 ◽

Cited By ~ 3

Author(s):

Denis Firsov ◽

Richard Blair ◽

Aaron Stump

Download Full-text