Concepedia

A First Order Theory of Data and Programs.

Keith Clark, Sten-Åke Tärnlund

IFIP Congress · 1977 · 90 citations · 0 references

Concepts