no code implementations • 23 Oct 2020 • Masahiro Sato, Jacques Garrigue
Werner's set-theoretical model is one of the simplest models of CIC.
Logic in Computer Science Logic
1 code implementation • 4 Apr 2019 • Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
We present here the formalization in Coq/SSReflect of two different tree-based succinct representations and their accompanying algorithms.
Programming Languages Data Structures and Algorithms