A general formulation of simultaneous inductive-recursive definitions in type theory
Artikel i vetenskaplig tidskrift, 2000

Författare

Peter Dybjer

Programmeringslogik

Journal of Symbolic Logic

Vol. 65 525-549

Ämneskategorier

Annan matematik