Journal of Functional and Logic Programming, Volume 2000

Volume 2000, Number 1, 2000

• Joëlle Despeyroux, Pierre Leleu: Metatheoretic Results for a Modal lambda-Calculus.

Volume 2000, Number 2-6, Special Issue, 2000

• Antonio Brogi, Patricia M. Hill: Special Issue on Logical Formalisms for Program Composition - Editorial.
• Juliana Küster Filipe: Fundamentals of Module Logic for Distributed Object Systems.
• Lee Naish, Leon Sterling: Stepwise Enhancement and Higher-Order Programming in Prolog.
• Kostas Stathis: A Game-based Architecture for Developing Interactive Components in Computational Logic.
• Sofie Verbaeten, Annalisa Bossi: Composing Complete and Partial Knowledge.

Volume 2000, Number 7, 2000

• Frédéric Lang, Pierre Lescanne: On Strong Normalization of Explicit Substitution Calculi (Short Note).