Dyfyniad APA

(2012). Programming with higher-order logic / Dale Miller, INRIA-Saclay, Île de France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota.

Dyfyniad Arddull Chicago

Programming with Higher-order Logic / Dale Miller, INRIA-Saclay, Île De France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota. 2012.

Dyfyniad MLA

Programming with Higher-order Logic / Dale Miller, INRIA-Saclay, Île De France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota. 2012.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.