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. BibTeX

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

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

Volume 2000, Number 7, 2000

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