(2012). Programming with higher-order logic / Dale Miller, INRIA-Saclay, Île de France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota.
Chicago-Zitierstil (17. Ausg.)Programming with Higher-order Logic / Dale Miller, INRIA-Saclay, Île De France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota. 2012.
MLA-Zitierstil (9. Ausg.)Programming with Higher-order Logic / Dale Miller, INRIA-Saclay, Île De France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota. 2012.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.