tvignon
Results
1
issues of
tvignon
Some Benchmark for the CwF and SplTC equivalence, that contain mostly the common part of the two structure and some additional constructions : - The Ty presheaf - context extension...