Bunch theory : Axioms, logic, applications and model

Stoddart, Bill; Dunne, Steve; Mu, Chunyan; Zeyda, Frank

Bunch theory : Axioms, logic, applications and model

Files

Stoddart_etal_JLAMP_Bunch_Theory_Axioms_VOR.pdf (714.12 KB)

Date

2024-08-01

Authors

Citation

Stoddart, B, Dunne, S, Mu, C & Zeyda, F 2024, 'Bunch theory : Axioms, logic, applications and model', Journal of Logical and Algebraic Methods in Programming, vol. 140, 100977. https://doi.org/10.1016/j.jlamp.2024.100977

URI

https://hdl.handle.net/2164/23525

DOI

10.1016/j.jlamp.2024.100977

Collections

All research

Full item page

AURA - Aberdeen University Research Archive

Bunch theory : Axioms, logic, applications and model

Files

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Citation

URI

DOI

Collections

Endorsement

Review

Supplemented By

Referenced By