Generic level polymorphic N-ary functions

Guillaume Allais

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

50 Downloads (Pure)

1 results

Finished
Homotopy Type Theory: Programming and Verification
Ghani, N. (Principal Investigator) & McBride, C. (Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 30/09/19
Project: Research