A theory of bunches

• 1 May 2001
• journal article
• research article
• Published by Springer Nature in Acta Informatica
• Vol. 37  (8) , 541-561
• https://doi.org/10.1007/pl00013316

Abstract

Keywords

• DATA STRUCTURE
• FORMAL THEORY
• INFERENCE RULE
• FUNCTION TYPE
• SPECIFICATION LANGUAGE