Baader, Franz and Nipkow, Tobias, Term rewriting and all that, Cambridge University Press, Great Britain, 1998.
Beeson, Michael, Lambda logic, Second international joint conference on automated reasoning (IJCAR 2004), Lecture Notes in Computer Science, vol. 3097, Springer, Berlin, 2004, pp. 460–474.
Deplagne, Eric and Kirchner, Claude, Deduction versus computation: the case of induction, AISC and Calculemos joint international conferences, Lecture Notes in Artificial Intelligence, vol. 2385, Springer, Berlin, 2002, pp. 4–6.
Dowek, Gilles and Werner, Benjamin, Arithmetic as a theory modulo, Term rewriting and applications, Lecture Notes in Comput. Sci., vol. 3467, Springer, Berlin, 2005, pp. 423–437.
Dummett, Michael, Elements of intuitionism, 1 ed., Clarendon Press, Oxford, 1977.
Gabbay, Michael and Gabbay, Murdoch J., Term sequent logic, Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Electronic Notes in Theoretical Computer Science, vol. 246, 08 2009, pp. 87–106.
Gabbay, Murdoch J. and Gabbay, Michael J., A simple class of Kripke-style models in which logic and computation have equal standing, International conference on logic for programming artificial intelligence and reasoning (LPAR 2010) (Clarke, Edmund M. and Voronkov, Andrei, editors), Lecture Notes in Computer Science, vol. 6355, Springer, 2010, pp. 231–254.
Gabbay, Murdoch J. and Gabbay, Michael J., a-logic with arrows, Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007) (Echahed, Rachid, editor), 06 2007, pp. 47–62.
Hacking, Ian, What is logic?. The Journal of Philosophy, vol. 76 (1979), pp. 285–319.
Hindley, J. Roger and Seldin, Jonathan P., Lambda-calculus and combinators, an introduction, 2 ed., Cambridge University Press, Cambridge, 2008.
Kaplan, Stephane and Jouannaud, Jean-Pierre (editors), Conditional term rewriting systems, Lecture Notes in Computer Science, vol. 308, Berlin, Springer-Verlag, 07 1988.
Liang, Zhi An and Miller, Dale, Focusing and polarization in intuitionistic logic, Computer science logic, CSL 2007 (Duparc, Jacques and Henzinger, Thomas A., editors), Lecture Notes in Computer Science, vol. 4646, Springer, 2007, pp. 451–465.
Martí-Oliet, N. and Meseguer, J., Rewriting logic as a logical and semantic framework, Electronic notes in theoretical computer science (Meseguer, J., editor), vol. 4, Elsevier Science Publishers, 2000.
Miller, Dale, A logic programming language with lambda-abstraction, function variables, and simple unification, Journal of Logic and Computation, vol. 1 (1991), no. 4, pp. 497–536.
Miller, Dale, Nadathur, Gopalan, Pfenning, Frank, and Scedrov, Andre, Uniform proofs as a foundation for logic programming, Technical report, Durham, NC, USA, 1991.
O'Hearn, Peter W. and Pym, David J., The logic of bunched implications, The Bulletin of Symbolic Logic, vol. 5 (1999), no. 2, pp. 215–244.
Selinger, Peter, Order-incompleteness andfinite lambda reduction models, Theoretical Computer Science, vol. 309 (2003), no. 1, pp. 43–63.