Inductive Families
Artikel i vetenskaplig tidskrift, 1994

Författare

Peter Dybjer

Programmeringslogik

Formal Aspects of Computing

Vol. 6 440-465

Ämneskategorier

Annan matematik