Proccedings of the 375th Anniversary of the Groningen University on Mathematics of Program Construction

Authors:
J. L. van de Snepscheut
Affiliations:
Dept. of Computing Science, The Netherlands
Venue:
Proccedings of the 375th Anniversary of the Groningen University on Mathematics of Program Construction
Year:
1989

Citing 0
Cited 2

Calculating Functional Programs

Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Calculating functional programs

Algebraic and coalgebraic methods in the mathematics of program construction

Quantified Score

Hi-index	0.00

Visualization

Abstract