Inverse image analysis generalises strictness analysis
Artikel i vetenskaplig tidskrift, 1991

Författare

Peter Dybjer

Programmeringslogik

Information and Computation

Vol. 90 2 194--216-

Ämneskategorier

Annan matematik