Found 2 Documents (Results 1–2)
Strongly typed term representations in Coq. (English) Zbl 1269.68041
MSC:
68N18
68T15
Filter Results by …
Author
- Kennedy, Andrew J. (2)
- Benton, Nick (1)
- Hur, Chung-Kil (1)
- McBride, Conor Thomas (1)
- Russo, Claudio V. (1)
Serial
Main Field
- 68-XX (2)