Strongly Typed Term Representations in Coq (0)

by N Benton, C-K Hur, A Kennedy, C McBride
Venue:J. Autom. Reasoning