Joining programming theorems. A practical approach to program building

MaRDI QIDQ2770750zbMATH OpenFDO

Authors É. Harangozó, P. Szlávi, L. Zsakó

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 3934387
• The mathematical construction of a program
• scientific article; zbMATH DE number 4147469
• scientific article; zbMATH DE number 3963167
• Publication:5751976

This page was built for publication: Joining programming theorems. A practical approach to program building

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2770750)