Possibly Related Publications

The following publications are possibly variants of this publication:

• Fork Algebraic DatatypesPablo E. Martínez López, Gabriel A. Baum. igpl, 6(4):531-543, 1998. [doi]
• A Finite Axiomatization for Fork AlgebrasMarcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso. igpl, 5(3):1-10, 1997. [doi]
• How to say Greedy in Fork AlgebrasMarcelo F. Frias, Gabriel Baum, Esteban de la Canal. RelMiCS 2000: 75-84
• Adding Design Strategies to Fork AlgebrasMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. ershov 1996: 214-226
• Fork Algebras in Algebra, Logic and Computer ScienceMarcelo F. Frias. Volume 2 of Advances in Logic, World Scientific, 2002. [doi]
• Fork Algebras in Algebra, Logic and Computer ScienceMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. FUIN, 32(1):1-25, 1997.
• Complete Calculi for Structured Specifications in Fork AlgebraCarlos Gustavo López Pombo, Marcelo Fabiùn Frias. ictac 2010: 290-305 [doi]
• Fork Algebras as a Sufficiently Rich Universal InstitutionCarlos López Pombo, Marcelo F. Frias. amast 2006: 235-247 [doi]
• Representability and Program Construction within Fork AlgebrasMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. igpl, 6(2):227-257, 1998. [doi]