Daniel Leivant

Bibliography

Leivant, Daniel. 1994. “Higher-Order Logic.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 230–321. Oxford: Oxford University Press.
Leivant, Daniel. 2001. “Peano’s Lambda Calculus: The Functional Abstraction Implicit in Arithmetic.” in Logic, Meaning and Computation: Essays in Memory of Alonzo Church, edited by Curtis Anthony Anderson and Michael Zelëny, pp. 313–330. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.