Comparing integrated and external logics of functional programs
Artikel i vetenskaplig tidskrift, 1990

Författare

Peter Dybjer

Programmeringslogik

Science of Computer Programming

Vol. 14 59--79-

Ämneskategorier

Annan matematik