Daniel Tuijnman

According to our database1, Daniel Tuijnman authored at least 2 papers between 1992 and 1997.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
A categorical approach to functional programming.
PhD thesis, 1997

1992
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations.
Comput. J., 1992


  Loading...